ziman / lightyear

Parser combinators for Idris
Other
238 stars 43 forks source link

space parses zero or more whitespace, while it would make more sense to parse only one! #33

Open bgaster opened 8 years ago

bgaster commented 8 years ago

Currently Lightyear.Strings.space parses zero or more whitespace, which seems strange given it singular naming. Moreover, this is in contrast to Parsec which defines:

space

and

spaces

to separate these two cases. From Parsec.Text.Chars:

-- | Skips /zero/ or more white space characters. See also 'skipMany'. spaces :: (Stream s m Char) => ParsecT s u m () spaces = skipMany space <?> "white space"

-- | Parses a white space character (any character which satisfies 'isSpace') -- Returns the parsed character.

space :: (Stream s m Char) => ParsecT s u m Char space = satisfy isSpace <?> "space"