> In that case you need an existential type (not Haskell 98), which GHC > and Hugs support thus: > > data Row a = forall f. Formula f => Row (f a, Weight) And incidentally, nhc98 also supports this particular extension with this syntax. (Hbc supports it too, but with a slightly different syntax.) Regards, Malcolm _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
- help wanted with type error message Norman Ramsey
- Re: help wanted with type error message Andreas Rossberg
- RE: help wanted with type error message Simon Peyton-Jones
- RE: help wanted with type error message Malcolm Wallace
- RE: help wanted with type error message Marcin 'Qrczak' Kowalczyk
- RE: help wanted with type error message Simon Peyton-Jones
- Re: help wanted with type error message Marcin 'Qrczak' Kowalczyk