[Haskell-cafe] ScopedTypeVariables

[John Wiegley]

>>>>> Evan Laforge <qdunkan at gmail.com> 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