Sourcemaps for ide rebuild (#118)

Resolves #116

2 files changed, 3 insertions, 4 deletions

diff --git a/src/ide.js b/src/ide.js
index 00de55b..d3707a4 100644
--- 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 cc779f7..13bc5ae 100644
--- 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,