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

[Zoltan Somogyi]

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.

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