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

[Erwan Jahier]

Hi,

I want to use a data structure of type `map(string, array(int))', but
I run into problems when I try to set elements of the array because
of unique mode problems. A possibility would be to propagate the
unique mode work-around used in array.m for tree234.m and map.m ...
Indeed, in my tries to see whether adding new modes declarations in
the map library, 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 (BTW,
how far are mercury-devs from it?). Maybe I could simply reuse
that...

Since this seems a little bit tedious (and <<patchy>>), I prefer
asking before if anyone here can see a better way to be able to set a
`map(string, array(int))'?

ps: I could also use `map(string, map(int, int))' instead of
`map(string, array(int))', but I don't like that solution too much,
as I want to store large amounts of data in the array (that I
therefore would like to be destructively updated).

Thanks.
-- 
R1.


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