[m-dev.] typed_unify

Ian MacLarty maclarty at cs.mu.OZ.AU
Sat Feb 18 21:05:58 AEDT 2006

On 18 Feb 2006, at 10:49, Fergus Henderson wrote:

> On 17-Feb-2006, Ian MacLarty <maclarty at cs.mu.OZ.AU> wrote:
>> What is the reason that typed_unify is in private_builtin?
> It is needed for the implementation of compiler-generated unification
> procedures for existentially quantified types.
>> Is there any harm in exposing it publically?  Sometimes it is useful
>> for downcasting existentially quantified types.
> It is already exposed publically with the name dynamic_cast in 
> std_util.m.

Thanks.  I wasn't aware of dynamic_cast.


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