diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-10-17 10:14:43 +0200 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-10-17 10:14:43 +0200 |
| commit | 7744ba2b397b808a5a82169f3f771f53f5eeaf7d (patch) | |
| tree | 246f08388fb52a6dedebc87577570af0f5f80b96 /lambda-calcul/haskell/test | |
| parent | c3a175e808b279eb415bcb5dbcb9db5f34035f98 (diff) | |
| download | lambda-nantes-7744ba2b397b808a5a82169f3f771f53f5eeaf7d.tar.gz | |
feat: introduce parser and AST
Diffstat (limited to 'lambda-calcul/haskell/test')
| -rw-r--r-- | lambda-calcul/haskell/test/Minilang/Lambda/ParserSpec.hs | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/lambda-calcul/haskell/test/Minilang/Lambda/ParserSpec.hs b/lambda-calcul/haskell/test/Minilang/Lambda/ParserSpec.hs new file mode 100644 index 0000000..284c1af --- /dev/null +++ b/lambda-calcul/haskell/test/Minilang/Lambda/ParserSpec.hs @@ -0,0 +1,9 @@ +module Minilang.Lambda.ParserSpec where + +import Minilang.Lambda.Parser (AST (..), parse) +import Test.Hspec (Spec, it, parallel, shouldBe) + +spec :: Spec +spec = parallel $ do + it "parses a variable" $ do + parse "x" `shouldBe` Right (Sym "x") |