[m-dev.] diff: pass typeclass-info args to C code

Andrew Bromage bromage at cs.mu.OZ.AU
Fri Aug 21 12:28:36 AEST 1998


G'day all.

Tyson Dowd wrote:

> TypeclassInfo_for_<classname>__<var1>_<var2>
> 
> class1(T1, T2) TypeclassInfo_for_class1__T1_T2
> class1_T1(T2)  TypeclassInfo_for_class1_T1__T2
> class1__T1(T2) TypeclassInfo_for_class1__T1__T2

What about class1(T1__T2)?

I suspect that one symbol (underscore) isn't enough here.

I think this would cover all eventualities:

	TypeclassInfo_for_<fully-qualified classname>_<arity>__<var1>_<var2>

Cheers,
Andrew Bromage



More information about the developers mailing list