From 02ff39d0ab6488fa8cedb31030130b352e10b3e2 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Wed, 27 Nov 2024 16:18:16 +0100
Subject: Initial typing

---
 src/Language/Mili/Parser.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Language/Mili/Parser.hs')

diff --git a/src/Language/Mili/Parser.hs b/src/Language/Mili/Parser.hs
index b9f7881..0854ab1 100644
--- a/src/Language/Mili/Parser.hs
+++ b/src/Language/Mili/Parser.hs
@@ -115,7 +115,7 @@ rec = do
   _  <- spaces
   _  <- startSymbol ","
   w  <- term
-  pure $ Rec (t1, t2) u v w
+  pure $ Rec t1 t2 u v w
 
 -- | single identifier, directly parsed to corresponding term
 def :: Parser Term
-- 
cgit v1.2.3