From 10feb2dc8ad775a64b6db4d19c76bd6fa38044a8 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Wed, 5 Nov 2025 12:07:48 +0100 Subject: fix resolution of free variables --- lambda-calcul/haskell/test/Minilang/REPLSpec.hs | 15 ++++++++++----- 1 file changed, 10 insertions(+), 5 deletions(-) (limited to 'lambda-calcul/haskell/test/Minilang') 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 -- cgit v1.3.1