diff options
author | Camil Staps | 2023-02-01 21:22:23 +0100 |
---|---|---|
committer | Camil Staps | 2023-02-01 21:22:23 +0100 |
commit | 4ba55277a99542d245568da989b5217b04262f26 (patch) | |
tree | ba6b4ed2d1da9a1c46256fd58f126ef387512ed5 /snug-clean | |
parent | Use <<|> instead of <|> in parser to reduce memory usage (diff) |
Remove ambiguity from function definition syntax: Type (x y) could have Type as kind *->*, or (x y) could be the rhs
Diffstat (limited to 'snug-clean')
-rw-r--r-- | snug-clean/src/Snug/Parse.icl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/snug-clean/src/Snug/Parse.icl b/snug-clean/src/Snug/Parse.icl index 64331c5..9d58f23 100644 --- a/snug-clean/src/Snug/Parse.icl +++ b/snug-clean/src/Snug/Parse.icl @@ -42,7 +42,7 @@ where (pToken (TIdent "fun") *> symbolIdent) (simpleList (parenthesized typedArgument)) (pToken TColon *> type) - simpleOrParenthesizedExpression + (pToken TColon *> expression) simpleConstructorDef = liftM2 ConstructorDef constructorIdent (pure []) constructorDef = liftM2 ConstructorDef constructorIdent (many simpleOrParenthesizedType) |