[mercury-users] type_desc vs. type_info

[Zoltan Somogyi]

On 30-Oct-2006, Michael Day <mikeday at yeslogic.com> wrote:
> Has the old type_info type been replaced by type_desc? Specifically, is 
> a type_desc passed to polymorphic predicates as a hidden argument?

No. The type "type_desc" is a user-level version of a "type_info",
which is a system level object. Their representations are very similar,
but not identical.

Zoltan.
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------