From 5cba53dd054222ce3319a1efe6803952c9675889 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Fri, 17 Oct 2025 22:29:01 +0200 Subject: feat: main program evaluates s-expressions --- lambda-calcul/haskell/test/Minilang/IOSpec.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lambda-calcul/haskell/test/Minilang/IOSpec.hs') diff --git a/lambda-calcul/haskell/test/Minilang/IOSpec.hs b/lambda-calcul/haskell/test/Minilang/IOSpec.hs index 038877d..c4ae13e 100644 --- a/lambda-calcul/haskell/test/Minilang/IOSpec.hs +++ b/lambda-calcul/haskell/test/Minilang/IOSpec.hs @@ -16,7 +16,7 @@ spec = parallel $ it "evaluates a simple MiniLang 'program' and dumps result" $ \fileName -> do let outputFileName = fileName <> ".out" program = - [ "(App (Lam \"x\" (Var \"x\")) (Var \"y\"))" + [ "((lam (x) x) y)" ] writeFile fileName (unlines program) -- cgit v1.2.3