Fixes idris-lang/Idris-dev#577 by doing look ahead on metavariables to avoid confusion with ?=
commit7b54324d06c0850f6ca57a0ca619bc133cd9c170
authorAhmad Salim Al-Sibahi <asal@itu.dk>
dateSat 2 Nov 2013, 16:40 (13 years ago)
parent4a5831d
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 '}';