diff options
-rw-r--r-- | README.md | 3 | ||||
-rw-r--r-- | src/ide.js | 4 | ||||
-rw-r--r-- | src/index.js | 3 |
3 files changed, 5 insertions, 5 deletions
@@ -59,7 +59,8 @@ const loaderConfig = { | |||
59 | pscIdeClient: null, // purs ide client | 59 | pscIdeClient: null, // purs ide client |
60 | pscIdeClientArgs: {}, // for example, to use different port {port: 4088} | 60 | pscIdeClientArgs: {}, // for example, to use different port {port: 4088} |
61 | pscIdeServer: null, // purs ide server | 61 | pscIdeServer: null, // purs ide server |
62 | pscIdeServerArgs: {}, // for example, to change the port { port: 4088 } | 62 | pscIdeServerArgs: {}, // for example, to change the port {port: 4088} |
63 | pscIdeRebuildArgs: {} // for example, for sourcemaps {codegen: ['js', 'sourcemaps']} | ||
63 | pscIdeColors: false, // defaults to true if psc === 'psa' | 64 | pscIdeColors: false, // defaults to true if psc === 'psa' |
64 | pscPackage: false, | 65 | pscPackage: false, |
65 | bundleOutput: 'output/bundle.js', | 66 | bundleOutput: 'output/bundle.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 | ||
25 | const sourceMaps = require('./source-maps'); | 25 | const sourceMaps = require('./source-maps'); |
26 | 26 | ||
27 | const dargs = require('./dargs'); | ||
28 | |||
29 | const spawn = require('cross-spawn').sync | 27 | const spawn = require('cross-spawn').sync |
30 | 28 | ||
31 | const eol = require('os').EOL | 29 | const 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, |