[m-rev.] for review: try goals

[Julien Fischer]

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
@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
--------------------------------------------------------------------------