> 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
