diff options
| author | Marvin Borner | 2024-11-15 01:37:12 +0100 |
|---|---|---|
| committer | Marvin Borner | 2024-11-15 01:37:12 +0100 |
| commit | 292789f61f0b85439036bd3cb60fd52f011fdcf2 (patch) | |
| tree | 4c243e9450bad1152cbc067795c95d5306a8a6f5 /src/Language/Mili/Parser.hs | |
| parent | 4a6378aa868e9c1d49fc5ad1576616933c913004 (diff) | |
Fix reducer and examples
Diffstat (limited to 'src/Language/Mili/Parser.hs')
| -rw-r--r-- | src/Language/Mili/Parser.hs | 6 |
1 files changed, 3 insertions, 3 deletions
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 |