git.iko.soy/Idris-dev
on master help sign in
Further improve error message on missing parens after with

Now, instead of saying "missing '('", the parser says "missing parenthesized expression".

commit4ed09e4c9b9fb8d574ca1958b0addfe6c3e7d2db authorDavid Christiansen <david@davidchristiansen.dk> dateSat 28 Sep 2013, 21:33 (13 years ago) parent50af5aa
1 file changed+2−2
compare with master
unifiedsplit
src/Idris/Parser.hs+2−2
src/Idris/Parser.hs+2−2
@@ -2240,7 +2240,7 @@ clause syn
22402240 return $ PClause fc n capp wargs rs wheres) <|> (do
22412241 popIndent
22422242 reserved "with"
2243− lchar '('
2243+ lchar '(' <?> "parenthesized expression"
22442244 wval <- bracketed syn
22452245 openBlock
22462246 ds <- some $ fnDecl syn
@@ -2274,7 +2274,7 @@ clause syn
22742274 reserved "with"
22752275 ist <- get
22762276 put (ist { lastParse = Just n })
2277− lchar '('
2277+ lchar '(' <?> "parenthesized expression"
22782278 wval <- bracketed syn
22792279 openBlock
22802280 ds <- some $ fnDecl syn