eolof parser matches end of line or end of file

This commit is contained in:
Simon Michael 2013-03-29 18:42:00 +00:00
parent 972106b145
commit 7b6a59123d
2 changed files with 3 additions and 2 deletions

View File

@ -833,8 +833,6 @@ followingcommentline = do
optional newline optional newline
return l return l
eolof = (newline >> return ()) <|> eof
tagsInComment :: String -> [Tag] tagsInComment :: String -> [Tag]
tagsInComment c = concatMap tagsInCommentLine $ lines c' tagsInComment c = concatMap tagsInCommentLine $ lines c'
where where

View File

@ -414,6 +414,9 @@ spacenonewline = satisfy (`elem` " \v\f\t")
restofline :: GenParser Char st String restofline :: GenParser Char st String
restofline = anyChar `manyTill` newline restofline = anyChar `manyTill` newline
eolof :: GenParser Char st ()
eolof = (newline >> return ()) <|> eof
-- time -- time
getCurrentLocalTime :: IO LocalTime getCurrentLocalTime :: IO LocalTime