[ghc-devs]: Explicit inequality evidence

2016-12-17 Thread Anthony Clayden
[transferring to -users, because there's a much wider discussion] > > On Dec 13, 2016, at 15:04, Richard Eisenberg wrote: > > I've thought about inequality on and off for years now, The subject has appeared (in various guises) on Haskell forums since well before 2002 [1] -- which went into the

Re: Allow extra commas in module declarations or lists?

2016-12-17 Thread Ben Franksen
Sorry for late comment. Am 12.06.2016 um 14:24 schrieb Joachim Breitner: > Am Samstag, den 11.06.2016, 12:12 -0700 schrieb Michael Burge: > I propose allowing an optional single extra comma at the end in module > declarations, record declarations, record constructors, and list > constructors: >