3 Jan
2012
3 Jan
'12
6:46 a.m.
On Tue, Jan 3, 2012 at 06:35, Yucheng Zhang
legSome ((LegGram g)::LegGram nt t s) ntV
If you compile this without ScopedTypeVariables extension, GHC will remind you of it:
Illegal signature in pattern: LegGram nt t s Use -XScopedTypeVariables to permit it
Right, but I think this is conflating two aspects of ScopedTypeVariables and may not bring them into scope "fully". Although, that's a question for someone who understands ghc's type system far better than I do. -- brandon s allbery allbery.b@gmail.com wandering unix systems administrator (available) (412) 475-9364 vm/sms