Re: [Haskell-cafe] ScopedTypeVariables

...

...

...

...

Evan Laforge writes:

Would it make sense to split it into a separate extension like TypesOnArguments so I can more accurately express my deviation from haskell2010 orthodoxy? Or is there some deeper tie between scoped type variables and annotations on arguments?

I've also wondered why I have to enable ScopedTypeVariables in those cases -- when I'm not turning it on to "scope" any type variables, but just to make annotations possible in more places. -- John Wiegley FP Complete Haskell tools, training and consulting http://fpcomplete.com johnw on #haskell/irc.freenode.net