[m-rev.] Solver support for abstract equivalence solver types

Julien Fischer juliensf at cs.mu.OZ.AU
Mon Dec 13 13:43:15 AEDT 2004



On Mon, 13 Dec 2004, Ralph Becket wrote:

> > > +	NCallArgs0 = length(CallArgTypes0),
> > > +	NPredArgs  = length(PredArgTypes),
> > I'd module-qualify those calls to length. It shouldn't matter but
> > intermodule optimization sometimes complains about type ambiguities if
> > you don't.
>
> Done.  Although that is surely a bug in IMO.
>
Yes - but it's not one that will go away soon.

Cheers,
Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the reviews mailing list