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

[Peter Ross]

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