From 7e18f589a05bde28b3f710d92f72b7bd6b6e144f Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 5 Dec 2017 02:41:59 -0400
Subject: - Added analysis, synthesis, translation and statement extensions. -
 No longer doing ad-hoc I/O in new-luxc. - Minor fixes and adjustments.

---
 new-luxc/source/luxc/repl.lux | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

(limited to 'new-luxc/source/luxc/repl.lux')

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 @
-- 
cgit v1.2.3