Merge pull request #582 from ahmadsalim/feature/metavariableparserfix
Fixes idris-lang/Idris-dev#577 by doing look ahead on metavariables to avoid confusion with ?=
commit1668f2b7bb6b8f9f1773fb602ca6aaa547508de6
authorEdwin Brady <edwin.brady@gmail.com>
dateSun 3 Nov 2013, 02:31 (13 years ago)
parent4a5831d7b54324
src/Idris/ParseExpr.hs+1−1
@@ -260,7 +260,7 @@ SimpleExpr ::=
260260simpleExpr :: SyntaxInfo -> IdrisParser PTerm
261261simpleExpr syn =
262262 {-try (do symbol "!["; t <- term; lchar ']'; return $ PQuote t)
263− <|>-} do lchar '?'; x <- name; return (PMetavar x)
263+ <|>-} do x <- try (lchar '?' *> name); return (PMetavar x)
264264 <|> do lchar '%'; fc <- getFC; reserved "instance"; return (PResolveTC fc)
265265 <|> do reserved "refl"; fc <- getFC;
266266 tm <- option Placeholder (do lchar '{'; t <- expr syn; lchar '}';