[m-dev.] for review: add type_ctor_reps for user-defined equality

Zoltan Somogyi zs at cs.mu.OZ.AU
Thu Oct 28 16:01:11 AEST 1999

>> You definitely want to check that this would work; you may want to wait
>> committing that until we can delete MR_get_new_type_ctor_rep, or redefine it
>> as an identity macro.
> I think it would be best to wait until this test has fully bootstrapped
> before we rely upon the _USEREQ to catch all user defined equality
> types.

I was pointing out that your changes to mercury_ho_call.c were at the moment
useless, because they were to code that Fergus #ifdef'd out. You must check
that it works by undoing Fergus's change and bootchecking, even if you commit
the version with Fergus's change in place.

mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au

More information about the developers mailing list