aboutsummaryrefslogtreecommitdiff
path: root/src/Language/Mili/Parser.hs
diff options
context:
space:
mode:
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