git.iko.soy/Idris-dev
on master help sign in
Revert "Allow an optional trailing comma in `commaSeparated`"

The consensus following the discussion in the pull request seemed to be by-and-large against allowing trailing commas. So they're out. This reverts commit 856d62dd8430c6030e47abff7ad81cbd7a41cede.

commitf25976d7cb9d820ca98124cd404b9029a939df2c authorBenjamin Hodgson <benjamin.hodgson@huddle.com> dateWed 29 Jul 2015, 22:24 (11 years ago) parent856d62d
1 file changed+1−1
compare with master
unifiedsplit
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 `sepEndBy1` (spaces >> char ',' >> spaces)
440+commaSeparated p = p `sepBy1` (spaces >> char ',' >> spaces)
441441
442442{- * Layout helpers -}
443443