]> git.immae.eu Git - github/fretlink/purs-loader.git/blobdiff - src/index.js
Add options for ide commands
[github/fretlink/purs-loader.git] / src / index.js
index 11b06eb8653b168f5bcbfda32cbd673fd01e4967..4c5abd20a1e894ed827c1640b7c0a6c64bac9e12 100644 (file)
@@ -108,9 +108,12 @@ module.exports = function purescriptLoader(source, map) {
     pscArgs: {},
     pscBundle: null,
     pscBundleArgs: {},
+    pscIdeClient: null,
+    pscIdeClientArgs: {},
+    pscIdeServer: null,
+    pscIdeServerArgs: {},
     pscIde: false,
     pscIdeColors: loaderOptions.psc === 'psa',
-    pscIdeArgs: {},
     pscPackage: false,
     bundleOutput: 'output/bundle.js',
     bundleNamespace: 'PS',