on master help sign in
Simplify symbol parsing
commite0573863a734acb774df822afbd72f1b6e46f4a3 authorJason Felice <jason.m.felice@gmail.com> dateFri 27 Oct 2017, 15:09 (9 years ago) parent0ac4f96
1 file changed+3−3
src/Idris/Parser/Helpers.hs+3−3
src/Idris/Parser/Helpers.hs+3−3
@@ -288,12 +288,12 @@ lcharFC ch = do (FC file (l, c) _) <- getFC
288288 return $ FC file (l, c) (l, c+1)
289289
290290-- | Parses string as a token
291−symbol :: MonadicParsing m => String -> m String
292−symbol = Tok.symbol
291+symbol :: MonadicParsing m => String -> m ()
292+symbol = void . Tok.symbol
293293
294294symbolFC :: MonadicParsing m => String -> m FC
295295symbolFC str = do (FC file (l, c) _) <- getFC
296− Tok.symbol str
296+ symbol str
297297 return $ FC file (l, c) (l, c + length str)
298298
299299-- | Parses a reserved identifier