diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-10-17 16:36:40 +0200 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-10-17 16:36:40 +0200 |
| commit | 78d2b3acf77dc0500d27836915dce99a9c368b53 (patch) | |
| tree | 8d82588ca47f7521fb134f309be1c457c78bf591 /lambda-calcul/haskell/test/Minilang/Lambda/ParserSpec.hs | |
| parent | 1de68e897188941559a7f5bdc1314c69581c9208 (diff) | |
| download | lambda-nantes-78d2b3acf77dc0500d27836915dce99a9c368b53.tar.gz | |
feat: can parse a simple λ-expression
Diffstat (limited to 'lambda-calcul/haskell/test/Minilang/Lambda/ParserSpec.hs')
| -rw-r--r-- | lambda-calcul/haskell/test/Minilang/Lambda/ParserSpec.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lambda-calcul/haskell/test/Minilang/Lambda/ParserSpec.hs b/lambda-calcul/haskell/test/Minilang/Lambda/ParserSpec.hs index 4d6f6e0..c1eab27 100644 --- a/lambda-calcul/haskell/test/Minilang/Lambda/ParserSpec.hs +++ b/lambda-calcul/haskell/test/Minilang/Lambda/ParserSpec.hs @@ -10,6 +10,8 @@ spec :: Spec spec = parallel $ do prop "parses an identifier as a variable" $ \(Identifier ident) -> parse ident `shouldBe` Right (Sym ident) + prop "parses a lambda-expression as an abstraction" $ \(Identifier ident) (Identifier body) -> + parse ("(lam (" <> ident <> ") " <> body <> ")") `shouldBe` Right (Abs ident (Sym body)) newtype Identifier = Identifier Text deriving (Eq, Show) |