[mercury-users] unique modes, map, and arrays...

Zoltan Somogyi zs at cs.mu.OZ.AU
Fri Sep 28 20:03:38 AEST 2001

On 28-Sep-2001, Erwan Jahier <Erwan.Jahier at imag.fr> wrote:
> I realized that the module tree234 (on top of which
> map is implemented) contains unique mode declarations that are
> commented out, waiting for the day unique mode works I suppose

They are commented out because they slow down compilation of that module a lot,
and because this slowdown doesn't yet buy you anything, since the compiler
doesn't yet do compile-time garbage collection. However, if you uncomment those
mode declarations, they ought to work. (They did work once upon a time, though
they may have since suffered some bit-rot.)

Unfortunately, the limitations of the current mode system mean that if you
look up a unique entity such as an array in of a tree, it becomes non-unique.
Therefore these modes probably won't help you much.

mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe

More information about the users mailing list