[m-rev.] for review: try goals

Julien Fischer juliensf at csse.unimelb.edu.au
Wed Feb 18 20:32:29 AEDT 2009

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.

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

More information about the reviews mailing list