Implement whiteSpace directly
commit0f62a75a7031ce0e15b52b583d86a2f33edb6084
authorJason Felice <jason.m.felice@gmail.com>
dateMon 30 Oct 2017, 13:31 (9 years ago)
parente3089d1
src/Idris/Parser/Helpers.hs+1−1
@@ -214,7 +214,7 @@ docComment = do dc <- pushIndent *> docCommentLine
214214
215215-- | Parses some white space
216216whiteSpace :: MonadicParsing m => m ()
217−whiteSpace = Tok.whiteSpace
217+whiteSpace = someSpace' <|> pure ()
218218
219219-- | Parses a string literal
220220stringLiteral :: IdrisParser (String, FC)