Accurate location information for Refl
commitf2d9091528bd2d85b3af903adc76186a8df3c46b
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateSat 9 May 2015, 13:23 (11 years ago)
parentda3a26c
src/Idris/ParseExpr.hs+1−1
@@ -326,7 +326,7 @@ simpleExpr syn =
326326 try (simpleExternalExpr syn)
327327 <|> do x <- try (lchar '?' *> name); return (PMetavar x)
328328 <|> do lchar '%'; fc <- getFC; reserved "instance"; return (PResolveTC fc)
329− <|> do reserved "Refl"; fc <- getFC;
329+ <|> do fc <- reservedFC "Refl"
330330 tm <- option Placeholder (do lchar '{'; t <- expr syn; lchar '}';
331331 return t)
332332 return (PRefl fc tm)