[m-users.] ui modes

[Michael Day]

Hi Julien,

Another mostly_unique issue pops up in this kind of semidet code:

     member(X, Xs),
     T = get_mutvar(X, IO),
     check_something(T)

Because check_something is semidet and member is nondet the IO ends up 
being mostly_unique instead of unique, even though it is only ever 
passed to get_mutvar with ui mode. This basically rules out using nondet 
generate/test style of programming.

Perhaps this issue is similar to the problem with not() and implication?

Cheers,

Michael

-- 
Prince: Print with CSS!
http://www.princexml.com