>>>>> Evan Laforge <qdun...@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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe