[m-rev.] for review: try goals

[Julien Fischer]

On Wed, 18 Feb 2009, Julien Fischer wrote:

>
> On Wed, 18 Feb 2009, Peter Wang wrote:
>
>>>> + at var{CatchAnyGoal} must be valid goals.
>>> 
>>> @var{Goal} must have one of the following determinisms: det, semidet,
>>> cc_multi, or cc_nondet.
>>> 
>>> The non-locals of @var{Goal} must (presumably) not have an inst
>>> equivalent to (mostly-)unique or any?  (Unless they have the type I/O 
>>> state
>>> or (later) the store/1.)
>>> 
>
> The reference manual should also state an purity restrictions on

s/an purity/any purity/

> @var{Goal}, @var{ThenGoal}, ... etc.
>
> Julien.
> --------------------------------------------------------------------------
> mercury-reviews mailing list
> Post messages to:       mercury-reviews at csse.unimelb.edu.au
> Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
> Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
> --------------------------------------------------------------------------
>
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------