[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.
Zoltan.
--------------------------------------------------------------------------
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