[mercury-users] Destructive list operations

[Ralph Becket]

Hi Michael,

one problem with the current interpretation of the unique modes (di and
ui) is that the uniqueness goes "all the way down" (i.e., every
component of every structure in the list is unique), which probably
isn't what you want.  We have someone working on improved mode analysis
which hopefully will lead to better support for uniqueness in the future
- but don't hold your breath.

Regarding your performance concerns, have you considered moving to an
array or tree based representation or otherwise abstracting away from
lists?  If your structures really are unique, then some kind of
extensible array data type might be more appropriate to your needs.

Cheers,
-- Ralph
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------