[project @ 2000-03-06 10:12:57 by sewardj]

[project @ 2000-03-06 10:12:57 by sewardj]
typeInstDefn(), the bit which invents GHC compatible instance names:
handle multiparam type classes.  This enables Hugs standalone to deal
multiparam type classes, but there's a fudge:

   class Foo s m where { }
   instance Foo s () where { }

GHC calls the instance $fFoos.  But Hugs records type vars as offsets,
and loses the name "s" in the instance head; all it knows about
are tyvar numbers (offsets), starting from zero.  So it can never
generate $fFoos here, only $fFoo0 (zero).  The resulting code works
in standalone mode but will not interwork with GHC.  In general tho,
multiparam type classes are not (yet) supported in combined mode;
interface.c certainly can't handle them.

It might be simplest in this case to change GHC's instance naming
defn to be the same as Hugs'.