aboutsummaryrefslogtreecommitdiffhomepage
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/ide.js4
-rw-r--r--src/index.js3
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) {
202 202
203 const body = { 203 const body = {
204 command: 'rebuild', 204 command: 'rebuild',
205 params: { 205 params: Object.assign({
206 file: psModule.srcPath, 206 file: psModule.srcPath,
207 } 207 }, options.pscIdeRebuildArgs)
208 }; 208 };
209 209
210 const parseResponse = response => { 210 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');
24 24
25const sourceMaps = require('./source-maps'); 25const sourceMaps = require('./source-maps');
26 26
27const dargs = require('./dargs');
28
29const spawn = require('cross-spawn').sync 27const spawn = require('cross-spawn').sync
30 28
31const eol = require('os').EOL 29const eol = require('os').EOL
@@ -114,6 +112,7 @@ module.exports = function purescriptLoader(source, map) {
114 pscIdeClientArgs: {}, 112 pscIdeClientArgs: {},
115 pscIdeServer: null, 113 pscIdeServer: null,
116 pscIdeServerArgs: {}, 114 pscIdeServerArgs: {},
115 pscIdeRebuildArgs: {},
117 pscIde: false, 116 pscIde: false,
118 pscIdeColors: loaderOptions.psc === 'psa', 117 pscIdeColors: loaderOptions.psc === 'psa',
119 pscPackage: false, 118 pscPackage: false,