git.iko.soy/Idris-dev
on master help sign in
Implement whiteSpace directly
0f62a75Jason Felice
src/Idris/Parser/Helpers.hs+1−1
compare with master
unifiedsplit
@@ -214,7 +214,7 @@ docComment = do dc <- pushIndent *> docCommentLine
214
214
215-- | Parses some white space
215-- | Parses some white space
216whiteSpace :: MonadicParsing m => m ()
216whiteSpace :: MonadicParsing m => m ()
217−whiteSpace = Tok.whiteSpace
217+whiteSpace = someSpace' <|> pure ()
218
218
219-- | Parses a string literal
219-- | Parses a string literal
220stringLiteral :: IdrisParser (String, FC)
220stringLiteral :: IdrisParser (String, FC)