[m-dev.] Q: assigning pred_ids to functions
Fergus Henderson
fjh at cs.mu.OZ.AU
Thu Jul 29 17:30:15 AEST 1999
On 29-Jul-1999, Peter Ross <petdr at cs.mu.OZ.AU> wrote:
> 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?
polymorphism.m. This was changed in my recent existential types changes.
I'll fix the documentation.
--
Fergus Henderson <fjh at cs.mu.oz.au> | "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh> | of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3 | -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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