[mercury-users] passing higher-order modes to existentially typed data type wrappers

doug.auclair at logicaltypes.com doug.auclair at logicaltypes.com
Mon May 7 15:02:36 AEST 2007

Dear Nick, you wrote:

>is it OK to use unsafe 'mode casts' (in foreign code) to ensure 
>higher order modes at conversion from and to existentially typed data 

See also:


for an inst cast entirely in Mercury, so safety is maintained at compile-time.

Doug Auclair

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

More information about the users mailing list