[m-rev.] for review: negation in trace goals conditions

[Ondrej Bojar]

For no particular reason.

I needed some negation, so I did the lazy one.

If you feel whole expressions should be negatable, I can change it.

O.

Zoltan Somogyi wrote:
> On 20-Feb-2007, Ondrej Bojar <bojar at csse.unimelb.edu.au> wrote:
>> Added support for negating literals in conditions (run_time and 
>> compile_time)
>> for trace goals.
> 
> Why only literals?
> 
> Zoltan.
> --------------------------------------------------------------------------
> 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
--------------------------------------------------------------------------