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

[Zoltan Somogyi]

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