diff options
Diffstat (limited to 'lambda-calcul')
| -rw-r--r-- | lambda-calcul/haskell/test/Minilang/REPLSpec.hs | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/lambda-calcul/haskell/test/Minilang/REPLSpec.hs b/lambda-calcul/haskell/test/Minilang/REPLSpec.hs index 81ac25c..861c24c 100644 --- a/lambda-calcul/haskell/test/Minilang/REPLSpec.hs +++ b/lambda-calcul/haskell/test/Minilang/REPLSpec.hs @@ -34,6 +34,21 @@ spec = parallel $ "id : <?>" ] + it "evaluates typed MiniLang terms with definitions" $ do + let out = + withInput + [ ":lang Typed", + "(def id (lam (x) x))", + "(id y)" + ] + + out + `shouldBe` [ "Bye!", + "y : c", + "id : a -> a", + "Language set to Typed" + ] + it "defaults untyped terms" $ do let out = withInput |