[m-dev.] for review: rewrite of check_typeclass.m

[Fergus Henderson]

On 21-May-1998, David Glen JEFFERY <dgj at cs.mu.OZ.AU> wrote:
> > > +                % Perhaps we should include the pred arity in this mangled
> > > +                % string?
> > > +        % string__int_to_string(PredArity, PredArityString),
> > > +        base_typeclass_info__make_instance_string(InstanceTypes, 
> > > +                InstanceString),
> >
> > The pred name had better be unique, otherwise you may get
> > link errors or C compiler errors. Thus yes, you should include the pred
> > arity.  
> 
> But the arity gets included in the C name by llds_out. Am I right?

Yes, you're right.

> Is it OK to commit once I've changed these, or would you like to see another
> diff?

Go ahead and commit it.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.