[m-users.] ui modes
mikeday at yeslogic.com
Mon Aug 5 09:55:55 AEST 2013
Another mostly_unique issue pops up in this kind of semidet code:
T = get_mutvar(X, IO),
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?
Prince: Print with CSS!
More information about the users