[m-dev.] Q: assigning pred_ids to functions

Peter Ross petdr at cs.mu.OZ.AU
Thu Jul 29 16:22:35 AEST 1999


Currently the assertion

:- assertion all [A,B,C] ( C = A + B <=> C = B + A ).

cannot be used since it parses as unifications not function calls.

The compiler notes say that this is done in modecheck_unify.m, but it
appears to me that it is done in polymorphism.

So my question is where is it done?

Pete.
--------------------------------------------------------------------------
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