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

[Ondrej Bojar]

In general, the single argument of the @samp{compile_time} function symbol is a 
boolean expression of primitive compile-time conditions. Allowed boolean 
operators are @samp{and}, @samp{or} and @samp{not}.

(and likewise for runtime conds)

Is it better?

O

Julien Fischer wrote:
> 
> 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
> --------------------------------------------------------------------------
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------