From 7744ba2b397b808a5a82169f3f771f53f5eeaf7d Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Fri, 17 Oct 2025 10:14:43 +0200 Subject: feat: introduce parser and AST --- lambda-calcul/haskell/test/Minilang/Lambda/ParserSpec.hs | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 lambda-calcul/haskell/test/Minilang/Lambda/ParserSpec.hs (limited to 'lambda-calcul/haskell/test/Minilang/Lambda/ParserSpec.hs') 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") -- cgit v1.2.3