diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-10-27 16:26:55 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-10-27 16:26:55 +0100 |
| commit | 46d94d86705a7fd0a7c5d0d7c6a74f11669641ca (patch) | |
| tree | a5739cde5488fccc77249f6d803efa6b460a1642 /lambda-calcul/haskell/test/Minilang/Lambda/ParserSpec.hs | |
| parent | 5cba53dd054222ce3319a1efe6803952c9675889 (diff) | |
| download | lambda-nantes-46d94d86705a7fd0a7c5d0d7c6a74f11669641ca.tar.gz | |
Add more tests and references
Diffstat (limited to 'lambda-calcul/haskell/test/Minilang/Lambda/ParserSpec.hs')
| -rw-r--r-- | lambda-calcul/haskell/test/Minilang/Lambda/ParserSpec.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lambda-calcul/haskell/test/Minilang/Lambda/ParserSpec.hs b/lambda-calcul/haskell/test/Minilang/Lambda/ParserSpec.hs index d4c90bd..5d3e8ab 100644 --- a/lambda-calcul/haskell/test/Minilang/Lambda/ParserSpec.hs +++ b/lambda-calcul/haskell/test/Minilang/Lambda/ParserSpec.hs @@ -13,6 +13,9 @@ import Test.Hspec (Spec, parallel, shouldBe) import Test.Hspec.QuickCheck (prop) import Test.QuickCheck (Arbitrary (..), Gen, NonEmptyList (..), counterexample, elements, forAll, forAllShrink, listOf, oneof, resize, sized, (===), (==>)) +-- ((f x) y) --> (f x y) +-- (lam (x) (lam (y) y)) --> (lam (x y) y) + spec :: Spec spec = parallel $ do prop "parses an identifier as a variable" $ \(Identifier ident) -> |