[m-rev.] diff negation in trace goals conditions

[Julien Fischer]

On Wed, 21 Feb 2007, Ondrej Bojar wrote:

> Incorporated Zoltan's and Julien's comments, will commit tomorrow unless more 
> comments appear.
>
> Estimated hours taken: 2
>
> Added support for negation in conditions (run_time and compile_time) for 
> trace
> goals.

Can you now negate non-primitive conditions?  The test case you posted
suggests so, but the reference manual still restricts negation to 
primitive conditions.

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