4 May
2016
4 May
'16
1 a.m.
On 02/05/2016, Cale Gibbard
This question implicitly has two parts:
1) Are there GHC extensions which the Report ought to describe in their entirety? ...
2) Are there extensions which ought to stop being extensions? ...
I agree here, except as noted in my earlier mail in this thread. An extension i might like to no longer be an extension is NoMonomorphismRestriction, which i haven't yet seen brought up in this thread. I recognize it has some rationale for it, but i surely want this committee to at least re-evaluate its merits.