can parse whole programs and load them

1 files changed, 17 insertions, 0 deletions

diff --git a/lambda-calcul/haskell/test/Minilang/REPLSpec.hs b/lambda-calcul/haskell/test/Minilang/REPLSpec.hs
index 861c24c..aa73b69 100644
--- a/lambda-calcul/haskell/test/Minilang/REPLSpec.hs
+++ b/lambda-calcul/haskell/test/Minilang/REPLSpec.hs
@@ -1,8 +1,15 @@
 module Minilang.REPLSpec where
 
 import Control.Exception (bracket)
+import Data.Either (isRight)
 import Data.Text.IO
+import Minilang.Lambda.Eval (Term (Lam, Var))
+import Minilang.Lambda.Parser (AST (..))
+import Minilang.Lambda.Unify (Type (TyVar))
 import Minilang.REPL
+import Minilang.REPL.Purer (PurerEnv (..))
+import Minilang.REPL.Run (loadProgramInEnv)
+import Minilang.REPL.Types (Out (Evaluated))
 import System.Directory (getTemporaryDirectory, removeFile)
 import System.FilePath ((<.>), (</>))
 import System.IO (IOMode (..), hClose, withFile)
@@ -83,6 +90,16 @@ spec = parallel $
                      "REPLError \"cannot load file foo in Pure interpreter\""
                    ]
 
+    -- it "can load 'bool-prog.lisp'" $ do
+    --   boolProg <- readFile "bool-prog.lisp"
+    --   let PurerEnv{outputs} = runProgram (loadProgramInEnv boolProg)
+    --   outputs `shouldBe` []
+
+    it "can load 'bool.lisp'" $ do
+      boolProg <- readFile "bool.lisp"
+      let PurerEnv {outputs} = runProgram (loadProgramInEnv boolProg)
+      outputs `shouldBe` [Evaluated (Abs ["f", "t"] (Sym "f")) (Lam "f" (Lam "t" (Var "f"))) (TyVar "<?>")]
+
     around withTempFile $
       it "evaluates single MiniLang term read from IO" $ \fileName -> do
         let outputFileName = fileName <> ".out"