on master help sign in
Revert "Allow an optional trailing comma in `commaSeparated`"
f25976dBenjamin Hodgson
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)
437{- | @commaSeparated p@ parses one or more occurences of `p`,
437{- | @commaSeparated p@ parses one or more occurences of `p`,
438 separated by commas and optional whitespace. -}
438 separated by commas and optional whitespace. -}
439commaSeparated :: MonadicParsing m => m a -> m [a]
439commaSeparated :: MonadicParsing m => m a -> m [a]
440−commaSeparated p = p `sepEndBy1` (spaces >> char ',' >> spaces)
440+commaSeparated p = p `sepBy1` (spaces >> char ',' >> spaces)
441
441
442{- * Layout helpers -}
442{- * Layout helpers -}
443
443