on master help sign in
Allow an optional trailing comma in `commaSeparated`
commit856d62dd8430c6030e47abff7ad81cbd7a41cede authorBenjamin Hodgson <benjamin.hodgson@huddle.com> dateSun 26 Jul 2015, 19:06 (11 years ago) parent9a9b797
1 file changed+1−1
src/Idris/ParseHelpers.hs+1−1
src/Idris/ParseHelpers.hs+1−1
@@ -437,7 +437,7 @@ bindList b ((n, fc, t):bs) sc = b n fc t (bindList b bs sc)
437437{- | @commaSeparated p@ parses one or more occurences of `p`,
438438 separated by commas and optional whitespace. -}
439439commaSeparated :: MonadicParsing m => m a -> m [a]
440−commaSeparated p = p `sepBy1` (spaces >> char ',' >> spaces)
440+commaSeparated p = p `sepEndBy1` (spaces >> char ',' >> spaces)
441441
442442{- * Layout helpers -}
443443