[m-dev.] typed_unify

[Ian MacLarty]

Hello,

What is the reason that typed_unify is in private_builtin?  Is there any
harm in exposing it publically?  Sometimes it is useful for downcasting
existentially quantified types.

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