Re: Permitting trailing commas for record syntax ADT declarations

To add to your list: - data declarations, ex data Bla = | First | Second | Third On 22.09.2014 15:57, Herbert Valerio Riedel wrote:

Let's be a bit more conrete. Where everywhere shall leading+trailing commas be supported, here's a few places OTTOMH, where comma-separated entities occur which may or may not benefit from this treatment:

- list-syntax (+ even in pattern position?)

- module import/export list

- record syntax (+ patterns?)

- pattern-guards

- language pragmas

- ...?

-- Andreas Abel <>< Du bist der geliebte Mensch. Department of Computer Science and Engineering Chalmers and Gothenburg University, Sweden andreas.abel@gu.se http://www2.tcs.ifi.lmu.de/~abel/