[mercury-users] Deconstruct/construct existential types

[Peter Ross]

Hi,

I've just written some code which serializes and de-serializes a
generic mercury type, however this code doesn't work with existential
types and we should be able to support that.

Does anyone have any ideas about how to do this?  From my inspection
of the code, I can't see any way to do it generically without adding
more RTTI support.

Thanks,
Pete
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------