[mercury-users] Mostly unique modes?

[Peter Hawkins]

Hi...

Does anyone have some sample code using mostly unique modes? The only 
documentation I can find is the Language Reference manual, which merely 
states how they are defined, not used.

A bit of googling turned the FD constraint solver MROPE II, which claims to 
use mostly unique modes in the way that I would like to use them. However, 
that code simply has the mostly unique mode declarations commented out, which 
makes me suspicious...

Can anyone give me an example of the use of mostly unique modes?

(Incidentally, is there a particular problem if I lie to the compiler about 
the purity of my code? In what circumstances will it bite me?)

=)
Peter
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------