
3 May
2016
3 May
'16
1:32 a.m.
On 02/05/2016, Cale Gibbard
Are there extensions which ought to stop being extensions?
It may also be best to leave the answer up to the implementations. It is much easier to argue for something like that once the extension has been on by default in GHC and all other implementations for a while and most everyone seems happy leaving it on.
I think in many cases that would defeat the purpose of extensions.