Commit 2b5e7d7f authored by Ronny Wichers Schreur's avatar Ronny Wichers Schreur 🏢
Browse files

bug fix: don't accept lhs patterns between function name and double colon

for example reject: f blah [blah] blah :: Int -> Int
parent 19bf289a
...@@ -506,7 +506,7 @@ where ...@@ -506,7 +506,7 @@ where
= (False, abort "name", False, tokenBack pState) = (False, abort "name", False, tokenBack pState)
want_rhs_of_def :: !ParseContext !(Optional (Ident, Bool), [ParsedExpr]) !Token !Position !ParseState -> (ParsedDefinition, !ParseState) want_rhs_of_def :: !ParseContext !(Optional (Ident, Bool), [ParsedExpr]) !Token !Position !ParseState -> (ParsedDefinition, !ParseState)
want_rhs_of_def parseContext (opt_name, args) DoubleColonToken pos pState want_rhs_of_def parseContext (opt_name, []) DoubleColonToken pos pState
# (name, is_infix, pState) = check_name_and_fixity opt_name cHasNoPriority pState # (name, is_infix, pState) = check_name_and_fixity opt_name cHasNoPriority pState
(tspec, pState) = want pState // SymbolType (tspec, pState) = want pState // SymbolType
| isDclContext parseContext | isDclContext parseContext
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment