[m-dev.] typed_unify

[Ian MacLarty]

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.

Ian.

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