Hi, Am Montag, den 30.04.2018, 19:20 -0500 schrieb Christopher Allen:
https://github.com/ghc-proposals/ghc-proposals/pull/87
With the provisos mentioned by Simon starting here in mind: https://github.com/ghc-proposals/ghc-proposals/pull/87#issuecomment-38553658...
I am not against the proposal, but in the interest of fighting extension fatigue I’d like to draw your attention to this (which I had just posted at https://github.com/ghc-proposals/ghc-proposals/pull/87#issuecomment-38558191...) If the motivation is really mainly about subexports lists, then we could simply tell GHC to accept module Foo ( Foo(A), Foo(B), ) where without warning about the duplicate export of `Foo`. Is this good enough to solve the subexport list problem for CPP users? (probably yes) Do we still want ExtraCommas, because it is also useful in lists and other syntactic constructs? (probably probably; I could be swayed either way). Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/