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

[Julien Fischer]

On Thu, 22 Feb 2007, Ondrej Bojar wrote:

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

How about the following for the last sentence.

 	Valid boolean operators in these expressions are @samp{and},
 	@samp{or} and @samp{not}.

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