diff options
author | Eduardo Julian | 2017-12-05 02:41:59 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-12-05 02:41:59 -0400 |
commit | 7e18f589a05bde28b3f710d92f72b7bd6b6e144f (patch) | |
tree | cea41a63fa361d82300e52720f1d96da89312b52 /new-luxc/source/luxc/repl.lux | |
parent | 9641cfa9ed5043f3df2792f5aeab4e42b2f79a44 (diff) |
- Added analysis, synthesis, translation and statement extensions.
- No longer doing ad-hoc I/O in new-luxc.
- Minor fixes and adjustments.
Diffstat (limited to '')
-rw-r--r-- | new-luxc/source/luxc/repl.lux | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/new-luxc/source/luxc/repl.lux b/new-luxc/source/luxc/repl.lux index 15f343a7d..466446003 100644 --- a/new-luxc/source/luxc/repl.lux +++ b/new-luxc/source/luxc/repl.lux @@ -53,7 +53,9 @@ (moduleL.with-module +0 repl-module runtimeT.translate)) (#e.Success [compiler _]) - (translationL.translate-module source-dirs target-dir translationL.prelude compiler) + (|> compiler + (set@ [#.info #.mode] #.REPL) + (translationL.translate-module source-dirs target-dir translationL.prelude)) (#e.Error error) (wrap (#e.Error error)))))] @@ -295,11 +297,7 @@ (macro.run' compiler (lang.with-current-module repl-module (do macro.Monad<Meta> - [[exprT exprV] (repl-translate source-dirs target-dir exprC) - ## [var-id varT] (lang.with-type-env check.var) - ## exprV (evalL.eval varT exprC) - ## ?exprT (lang.with-type-env (check.read var-id)) - ] + [[exprT exprV] (repl-translate source-dirs target-dir exprC)] (wrap [source' exprT exprV]))))) (#e.Success [compiler' [source' exprT exprV]]) (do @ |