From 292789f61f0b85439036bd3cb60fd52f011fdcf2 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Fri, 15 Nov 2024 01:37:12 +0100
Subject: Fix reducer and examples

---
 src/Language/Mili/Parser.hs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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

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