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

[Julien Fischer]

On Thu, 22 Feb 2007, Ondrej Bojar wrote:

> Yes, boolean expressions can be negated. Maybe the wording is not quite 
> clear?

No it isn't.

 	In general, the single argument of the @samp{compile_time}
 	function symbol is a boolean expression that may use the
 	@samp{and}, @samp{or} and @samp{not} operators to connect
 	one or more primitive compile-time conditions.

I read that as saying that I can only use not on primitive conditions,
not on boolean expressions in general.

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