diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-03 21:22:52 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-03 21:22:52 +0100 |
| commit | 16e0642ee4d09df1b032f8d30c7050cfac4d12f7 (patch) | |
| tree | ef395f11b8a8bb0d54bd53515fd352af0a50bd65 /lambda-calcul/haskell/test/Minilang/REPLSpec.hs | |
| parent | 78fac35c6e7a987bc2b6a37d78cd2c07c3a0efa2 (diff) | |
| download | lambda-nantes-16e0642ee4d09df1b032f8d30c7050cfac4d12f7.tar.gz | |
Handle :lang in REPL
Diffstat (limited to 'lambda-calcul/haskell/test/Minilang/REPLSpec.hs')
| -rw-r--r-- | lambda-calcul/haskell/test/Minilang/REPLSpec.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lambda-calcul/haskell/test/Minilang/REPLSpec.hs b/lambda-calcul/haskell/test/Minilang/REPLSpec.hs index d23ffbd..5469a59 100644 --- a/lambda-calcul/haskell/test/Minilang/REPLSpec.hs +++ b/lambda-calcul/haskell/test/Minilang/REPLSpec.hs @@ -47,7 +47,8 @@ spec = parallel $ out `shouldBe` [ "Bye!", - "(lam (z s) (s ((lam (n z s) (s n)) (lam (z s) z)))) : <?>" + "(lam (z s) (s ((lam (n z s) (s n)) (lam (z s) z)))) : <?>", + "Language set to Untyped" ] it "shows error when trying to load a non-existent file" $ do |