In article <[EMAIL PROTECTED]>, Glynn Clements <[EMAIL PROTECTED]> wrote:
> > instance Num Vector where > > Except that class instances have to be algebraic datatypes ("data") or > renamed datatypes ("newtype"), but not type synonyms ("type").
That's not true, is it? I mean as long as there isn't already some overlapping instance, I think it's quite OK.
It's true of strict Haskell 98 (see report, section 4.3.2), but I think the condition is relaxed in GHC.
#g
------------------- Graham Klyne <[EMAIL PROTECTED]> PGP: 0FAA 69FF C083 000B A2E9 A131 01B9 1C7A DBCA CB5E
_______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
