diff options
Diffstat (limited to 'index.js')
-rw-r--r-- | index.js | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -13,7 +13,6 @@ var cp = require('child_process') | |||
13 | 'no-opts': '--no-opts', | 13 | 'no-opts': '--no-opts', |
14 | 'no-magic-do': '--no-magic-do', | 14 | 'no-magic-do': '--no-magic-do', |
15 | 'no-tco': '--no-tco', | 15 | 'no-tco': '--no-tco', |
16 | 'runtime-type-checks': '--runtime-type-checks', | ||
17 | 'verbose-errors': '--verbose-errors', | 16 | 'verbose-errors': '--verbose-errors', |
18 | 'output': '--output' | 17 | 'output': '--output' |
19 | } | 18 | } |
@@ -38,7 +37,7 @@ module.exports = function(source){ | |||
38 | if (e) callback(e); | 37 | if (e) callback(e); |
39 | else { | 38 | else { |
40 | var module = path.basename(request, '.purs'); | 39 | var module = path.basename(request, '.purs'); |
41 | fs.readFile(path.join(opts[OPTIONS[OUTPUT]] || OUTPUT, module, 'index.js'), 'utf-8', function(e, output){ | 40 | fs.readFile(path.join(query[OUTPUT] || OUTPUT, module, 'index.js'), 'utf-8', function(e, output){ |
42 | if (e) callback(e); | 41 | if (e) callback(e); |
43 | else callback(e, output); | 42 | else callback(e, output); |
44 | }); | 43 | }); |