diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-10-17 22:29:01 +0200 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-10-17 22:29:01 +0200 |
| commit | 5cba53dd054222ce3319a1efe6803952c9675889 (patch) | |
| tree | 0de3837c6e69ab551c0314b8d225546c078b149e /lambda-calcul/haskell/test/Minilang/IOSpec.hs | |
| parent | 2488429444c2740a075a1f13217ca1838f11026f (diff) | |
| download | lambda-nantes-5cba53dd054222ce3319a1efe6803952c9675889.tar.gz | |
feat: main program evaluates s-expressions
Diffstat (limited to 'lambda-calcul/haskell/test/Minilang/IOSpec.hs')
| -rw-r--r-- | lambda-calcul/haskell/test/Minilang/IOSpec.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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) |