diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-05 09:15:46 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-05 09:15:46 +0100 |
| commit | ae59f17cb3d58de7afca7f441d8bcf9a718e024c (patch) | |
| tree | e1ca429a9a5468f6e69b998eef91bb16727054c7 /lambda-calcul/haskell/test/Minilang/REPLSpec.hs | |
| parent | 62651f13e08304d8fa6395fde7352984f48adb46 (diff) | |
| download | lambda-nantes-ae59f17cb3d58de7afca7f441d8bcf9a718e024c.tar.gz | |
handle defitions in untyped language
Diffstat (limited to 'lambda-calcul/haskell/test/Minilang/REPLSpec.hs')
| -rw-r--r-- | lambda-calcul/haskell/test/Minilang/REPLSpec.hs | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lambda-calcul/haskell/test/Minilang/REPLSpec.hs b/lambda-calcul/haskell/test/Minilang/REPLSpec.hs index cf6ef01..81ac25c 100644 --- a/lambda-calcul/haskell/test/Minilang/REPLSpec.hs +++ b/lambda-calcul/haskell/test/Minilang/REPLSpec.hs @@ -23,6 +23,17 @@ spec = parallel $ "y : <?>" ] + it "evaluates untyped MiniLang terms with definitions" $ do + let out = + withInput + ["(def id (lam (x) x))", "(id y)"] + + out + `shouldBe` [ "Bye!", + "y : <?>", + "id : <?>" + ] + it "defaults untyped terms" $ do let out = withInput |