From dee78cba2ec18da811fd6f0499efe1bd27ad34e5 Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud@pankzsoft.com>
Date: Fri, 17 Oct 2025 16:45:29 +0200
Subject: feat: parse λ-expr with multiple bindings
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 lambda-calcul/haskell/src/Minilang/Lambda/Parser.hs | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'lambda-calcul/haskell/src')

diff --git a/lambda-calcul/haskell/src/Minilang/Lambda/Parser.hs b/lambda-calcul/haskell/src/Minilang/Lambda/Parser.hs
index 545536d..8e97d46 100644
--- a/lambda-calcul/haskell/src/Minilang/Lambda/Parser.hs
+++ b/lambda-calcul/haskell/src/Minilang/Lambda/Parser.hs
@@ -13,7 +13,7 @@ type Parser = Parsec Void Text
 data ParseError = ParseError Text
   deriving (Eq, Show)
 
-data AST = Sym Text | Abs Text AST
+data AST = Sym Text | Abs [Text] AST
   deriving (Eq, Show)
 
 parse :: Text -> Either ParseError AST
@@ -28,10 +28,10 @@ lambda =
   between
     lpar
     rpar
-    ( do
-        lexeme "lam"
-        binding <- pack <$> between lpar rpar identifier
-        Abs binding <$> ast
+    ( lexeme "lam"
+        *> ( (Abs . fmap pack <$> between lpar rpar (many identifier))
+               <*> ast
+           )
     )
 
 lpar :: Parser Text
-- 
cgit v1.2.3