Proposal: Turn on ScopedTypeVariables by default

Herbert Valerio Riedel hvriedel at gmail.com
Tue Feb 24 12:46:39 UTC 2015


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


More information about the ghc-devs mailing list