git.iko.soy/Idris-dev
on master help sign in
Remove unnecessary access of state
c112ebcJason Felice
src/Idris/Parser/Helpers.hs+1−2
compare with master
unifiedsplit
@@ -73,8 +73,7 @@ instance Text.Parser.Char.CharParsing IdrisInnerParser where
73 string = P.string
73 string = P.string
74
74
75tokenFC :: IdrisParser a -> IdrisParser (a, FC)
75tokenFC :: 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
78 -- See Issue #1594
77 -- See Issue #1594
79 r <- p
78 r <- p
80 (FC fn _ (el, ec)) <- getFC
79 (FC fn _ (el, ec)) <- getFC