diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-05-02 16:40:07 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-02 16:45:18 +0200 |
commit | 2fe36db8e0c4197fb4dd55c4de3fc15e038744a2 (patch) | |
tree | 62f0636f0fb3da4b0890343ab818e91c2abfc214 /src/LambdaCube/Compiler/Parser.hs | |
parent | 35d5c201f7540d857956fd9459ef73706304a641 (diff) |
use (:) instead of Cons everywhere
Diffstat (limited to 'src/LambdaCube/Compiler/Parser.hs')
-rw-r--r-- | src/LambdaCube/Compiler/Parser.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/LambdaCube/Compiler/Parser.hs b/src/LambdaCube/Compiler/Parser.hs index 70525cba..8f457e49 100644 --- a/src/LambdaCube/Compiler/Parser.hs +++ b/src/LambdaCube/Compiler/Parser.hs | |||
@@ -404,7 +404,7 @@ parseDef = | |||
404 | (af, cs) <- option (True, []) $ | 404 | (af, cs) <- option (True, []) $ |
405 | (,) True . map (second $ (,) Nothing) . concat <$ reserved "where" <*> identation True (typedIds id npsd Nothing) | 405 | (,) True . map (second $ (,) Nothing) . concat <$ reserved "where" <*> identation True (typedIds id npsd Nothing) |
406 | <|> (,) False <$ reservedOp "=" <*> | 406 | <|> (,) False <$ reservedOp "=" <*> |
407 | sepBy1 ((,) <$> addFixity' upperCase | 407 | sepBy1 ((,) <$> (addFixity' upperCase <|> parens (addFixity colonSymbols)) |
408 | <*> (mkConTy True <$> braces telescopeDataFields <|> mkConTy False <$> telescope Nothing) | 408 | <*> (mkConTy True <$> braces telescopeDataFields <|> mkConTy False <$> telescope Nothing) |
409 | ) | 409 | ) |
410 | (reservedOp "|") | 410 | (reservedOp "|") |