[mercury-users] type_desc vs. type_info

[Michael Day]

Hi,

Has the old type_info type been replaced by type_desc? Specifically, is 
a type_desc passed to polymorphic predicates as a hidden argument?

eg.

:- pred foo(T, io, io).
:- mode foo(in, di, uo) is det.

is expanded to something like this:

:- pred foo(type_desc, T, io, io).
:- mode foo(in, in, di, uo) is det.

(This matters when calling polymorphic Mercury predicates from C code).

Best regards,

Michael

-- 
Print XML with Prince!
http://www.princexml.com
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------