Proposal: Turn on ScopedTypeVariables by default

[Roman Cheplyaka]

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.
-XNondecreasingIndentation).

OTOH we probably don't want end up with -fglasgow-exts once again.

Roman