[m-dev.] Foreign type compare and unification

[Peter Ross]

I have been thinking about treating foreign types like the c_pointer type
for their RTTI and comparision and unification predicates, ie a foreign type
in the compiler will be treated as if it was an equivalence type where the
RHS of the equivalence is c_pointer.

Any thoughts/objections?

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