On Tue, Jan 3, 2012 at 06:35, Yucheng Zhang <[email protected]> wrote:
> > 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 [email protected] wandering unix systems administrator (available) (412) 475-9364 vm/sms
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
