Proposal: Turn on ScopedTypeVariables by default

Roman Cheplyaka roma at
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 Glasgow-haskell-users mailing list