Remove unnecessary access of state
commitc112ebc4cd45dfd1398cecf94247fe4f5b4bf1f8
authorJason Felice <jason.m.felice@gmail.com>
dateTue 31 Oct 2017, 20:48 (9 years ago)
parente04da81
src/Idris/Parser/Helpers.hs+1−2
@@ -73,8 +73,7 @@ instance Text.Parser.Char.CharParsing IdrisInnerParser where
7373 string = P.string
7474
7575tokenFC :: IdrisParser a -> IdrisParser (a, FC)
76−tokenFC p = do s <- get
77− (FC fn (sl, sc) _) <- getFC --TODO: Update after fixing getFC
76+tokenFC p = do (FC fn (sl, sc) _) <- getFC --TODO: Update after fixing getFC
7877 -- See Issue #1594
7978 r <- p
8079 (FC fn _ (el, ec)) <- getFC