Sourcemaps for ide rebuild (#118)

Resolves #116

diff --git a/README.md b/README.md
index 034dac0f7240a2881d499094b33bfa34c9d99a15..cc4373eee5be923e4d73505e4941a7160b38d5ce 100644 (file)
--- a/README.md
+++ b/README.md
@@ -59,7 +59,8 @@ const loaderConfig = {
   pscIdeClient: null, // purs ide client
   pscIdeClientArgs: {}, // for example, to use different port {port: 4088}
   pscIdeServer: null, // purs ide server
-  pscIdeServerArgs: {}, // for example, to change the port { port: 4088 }
+  pscIdeServerArgs: {}, // for example, to change the port {port: 4088}
+  pscIdeRebuildArgs: {} // for example, for sourcemaps {codegen: ['js', 'sourcemaps']}
   pscIdeColors: false, // defaults to true if psc === 'psa'
   pscPackage: false,
   bundleOutput: 'output/bundle.js',

diff --git a/src/ide.js b/src/ide.js
index 00de55b5a17ec7b78f97b82629610247a729c395..d3707a40ac4eecb88f50350eb1e6a691edbe3c38 100644 (file)
--- a/src/ide.js
+++ b/src/ide.js
@@ -202,9 +202,9 @@ module.exports.rebuild = function rebuild(psModule) {
 
   const body = {
     command: 'rebuild',
-    params: {
+    params: Object.assign({
       file: psModule.srcPath,
-    }
+    }, options.pscIdeRebuildArgs)
   };
 
   const parseResponse = response => {

diff --git a/src/index.js b/src/index.js
index cc779f7843bafccdc7ecc9f46284d9120edcb161..13bc5aedbac35b987f531d70523f71257c99fabd 100644 (file)
--- a/src/index.js
+++ b/src/index.js
@@ -24,8 +24,6 @@ const toJavaScript = require('./to-javascript');
 
 const sourceMaps = require('./source-maps');
 
-const dargs = require('./dargs');
-
 const spawn = require('cross-spawn').sync
 
 const eol = require('os').EOL
@@ -114,6 +112,7 @@ module.exports = function purescriptLoader(source, map) {
     pscIdeClientArgs: {},
     pscIdeServer: null,
     pscIdeServerArgs: {},
+    pscIdeRebuildArgs: {},
     pscIde: false,
     pscIdeColors: loaderOptions.psc === 'psa',
     pscPackage: false,