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

[Jörg Roman Rudnick]

Dear all,


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?

This seems to work so far -- thus allowing to extend the OO interface 
analogy to preds :-) -- but are there any issues to be careful of when 
using such 'mode casts'? Can this be done in harmony with sane execution 
of Mercury?
 


Thank you in advance,

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