@@ -260,7 +260,7 @@ SimpleExpr ::=
260simpleExpr :: SyntaxInfo -> IdrisParser PTerm
260simpleExpr :: SyntaxInfo -> IdrisParser PTerm
261simpleExpr syn =
261simpleExpr syn =
262 {-try (do symbol "!["; t <- term; lchar ']'; return $ PQuote t)
262 {-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)
264 <|> do lchar '%'; fc <- getFC; reserved "instance"; return (PResolveTC fc)
264 <|> do lchar '%'; fc <- getFC; reserved "instance"; return (PResolveTC fc)
265 <|> do reserved "refl"; fc <- getFC;
265 <|> do reserved "refl"; fc <- getFC;
266 tm <- option Placeholder (do lchar '{'; t <- expr syn; lchar '}';
266 tm <- option Placeholder (do lchar '{'; t <- expr syn; lchar '}';