diff options
Diffstat (limited to 'src/index.js')
-rw-r--r-- | src/index.js | 3 |
1 files changed, 1 insertions, 2 deletions
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, |