[mercury-users] Destructive list operations

Ralph Becket rafe at csse.unimelb.edu.au
Tue Jan 6 13:01:19 AEDT 2009

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.

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

More information about the users mailing list