diff options
| author | Csaba Hruska <csaba.hruska@gmail.com> | 2015-12-11 14:20:16 +0100 |
|---|---|---|
| committer | Csaba Hruska <csaba.hruska@gmail.com> | 2015-12-11 14:20:16 +0100 |
| commit | ad5cec8ccd47297d3e89d1dd8b82775e0e9c99a7 (patch) | |
| tree | 337c8c77e343f4e429c1f525313d726582aa86dd /prototypes | |
| parent | 3132ece829132a58bf6853df6e6260db400e9ec6 (diff) | |
fix: record type parsing
Diffstat (limited to 'prototypes')
| -rw-r--r-- | prototypes/Infer.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/prototypes/Infer.hs b/prototypes/Infer.hs index 836cef48..8cd060d5 100644 --- a/prototypes/Infer.hs +++ b/prototypes/Infer.hs | |||
| @@ -1412,7 +1412,7 @@ parseStmt ns e = | |||
| 1412 | telescopeDataFields ns vs = option (vs, []) $ do | 1412 | telescopeDataFields ns vs = option (vs, []) $ do |
| 1413 | (x, vt) <- do name <- var (expNS ns) | 1413 | (x, vt) <- do name <- var (expNS ns) |
| 1414 | operator "::" | 1414 | operator "::" |
| 1415 | term <- parseTerm ns PrecAtom vs | 1415 | term <- parseTerm ns PrecLam vs |
| 1416 | return (name, (Visible, term)) | 1416 | return (name, (Visible, term)) |
| 1417 | (id *** (vt:)) <$> (comma *> telescopeDataFields ns (x: vs) <|> pure (vs, [])) | 1417 | (id *** (vt:)) <$> (comma *> telescopeDataFields ns (x: vs) <|> pure (vs, [])) |
| 1418 | 1418 | ||