fix resolution of free variables

1 files changed, 10 insertions, 5 deletions

diff --git a/lambda-calcul/haskell/test/Minilang/REPLSpec.hs b/lambda-calcul/haskell/test/Minilang/REPLSpec.hs
index aa73b69..851706c 100644
--- a/lambda-calcul/haskell/test/Minilang/REPLSpec.hs
+++ b/lambda-calcul/haskell/test/Minilang/REPLSpec.hs
@@ -90,15 +90,20 @@ 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-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 "<?>")]
+      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