aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authoreric <thul.eric@gmail.com>2019-01-20 15:32:26 -0500
committerGitHub <noreply@github.com>2019-01-20 15:32:26 -0500
commitcd1249993b209ad35b2d579b514aa74a2516cb16 (patch)
treee7b8d3e77684f63325eb5a422e76295078f22d2a
parent59223097e35133918db227b3f75e009c1c46dc68 (diff)
downloadpurs-loader-cd1249993b209ad35b2d579b514aa74a2516cb16.tar.gz
purs-loader-cd1249993b209ad35b2d579b514aa74a2516cb16.tar.zst
purs-loader-cd1249993b209ad35b2d579b514aa74a2516cb16.zip
Sourcemaps for ide rebuild (#118)
Resolves #116
-rw-r--r--README.md3
-rw-r--r--src/ide.js4
-rw-r--r--src/index.js3
3 files changed, 5 insertions, 5 deletions
diff --git a/README.md b/README.md
index 034dac0..cc4373e 100644
--- a/README.md
+++ b/README.md
@@ -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',
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,