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

Julien Fischer juliensf at csse.unimelb.edu.au
Tue Feb 20 13:44:59 AEDT 2007


On Tue, 20 Feb 2007, Ondrej Bojar wrote:

> For review by anyone.
>
> Estimated hours taken: 1
>
> Added support for negating literals in conditions (run_time and compile_time) 
> for trace goals.
>
> NEWS:
>    Announced negation in trace goal conditions literals.
>
> compiler/mercury_to_mercury.m:
>    Output of negated conditions.
>
> compiler/ml_code_gen.m:
>    Test for negated conditions at run time.
>
> compiler/pragma_c_gen.m:
>    Test for negated conditions at run time.
>
> compiler/prog_data.m:
>    Modified type definition for trace_expr/1 to include negation of 
> literals.
>
> compiler/prog_io_goal.m:
>    Parsing of negated literals.
>
> compiler/simplify.m:
>    Compile-time evaluation of conditions with negated literals.
>
> doc/reference_manual.texi:
>    Announced negation of literals. Fixed a copy-paste typo in description of
>    run-time conditions.
>
> tests/hard_coded/trace_goal_env_3.m:
>    Added a simple test for negation on literals.
>
> tests/hard_coded/trace_goal_env_3.exp:
>    Expected result if env-vars are not set.
>

Could you please post the diff in unified format.

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



More information about the reviews mailing list