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

[doug.auclair at logicaltypes.com]

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

See also:

http://www.cs.mu.oz.au/research/mercury/mailing-lists/mercury-users/mercury-users.200703/0072.html

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

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