Proposal: Turn on ScopedTypeVariables by default
roma at ro-che.info
Tue Feb 24 12:55:32 UTC 2015
On 24/02/15 14:46, Herbert Valerio Riedel wrote:
> On 2015-02-23 at 18:45:20 +0100, David Feuer wrote:
>> I know this will be controversial, because it can break (weird) code and
>> because it's not Haskell 2010, but hey, you can't make brain salad without
>> breaking a few heads.
> Are you suggesting enabling -XScopedTypeVariables for -XHaskell98 and
> -XHaskell2010? or rather for the default when neither of those two modes
> is explicitly requested?
> Just be warned though: this is somewhat of a trick-question... :-)
Maybe in addition to -XHaskell98 and -XHaskell2010 there should also be
-XGhcHaskell. ghc already deviates from the standard by default (e.g.
OTOH we probably don't want end up with -fglasgow-exts once again.
More information about the ghc-devs