aboutsummaryrefslogtreecommitdiff
path: root/src/Language/Mili/Parser.hs
diff options
context:
space:
mode:
authorMarvin Borner2024-11-27 16:18:16 +0100
committerMarvin Borner2024-11-27 16:18:16 +0100
commit02ff39d0ab6488fa8cedb31030130b352e10b3e2 (patch)
tree2fef90f83699831d13dea768e144430e1f60a7a2 /src/Language/Mili/Parser.hs
parent91d52159a5ac32165dca0edfaf75a19845156551 (diff)
Initial typingHEADmain
Diffstat (limited to 'src/Language/Mili/Parser.hs')
-rw-r--r--src/Language/Mili/Parser.hs2
1 files changed, 1 insertions, 1 deletions
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