johnw at fpcomplete.com
Tue Aug 6 21:13:11 CEST 2013
>>>>> 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.
FP Complete Haskell tools, training and consulting
http://fpcomplete.com johnw on #haskell/irc.freenode.net
More information about the Haskell-Cafe