[mercury-users] Library v2 and Typeclasses'n'Stuff

[Juergen Stuber]

Peter Schachte <schachte at cs.mu.OZ.AU> writes:
> 
> I kind of like the idea of declaring the determinism of a disjunction,
> since declaring it semidet means the goals are exclusive, multi means
> they're exhaustive, and det means both.  It's all in one declaration.
> It is also pretty suggestive that the information is to be used for
> determinism checking.  I guess it's harder to decide what to do with a
> declaration that a disjunction is cc_nondet or cc_multi.

Logically they are the same as nondet and multi, respectively.
To specify that any disjunction of p and q is a single solution
context sounds weird to me, so I guess we should forbid them.

Jürgen

-- 
Jürgen Stuber <juergen at mpi-sb.mpg.de>
http://www.mpi-sb.mpg.de/~juergen/
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------