[m-rev.] diff: trace goals as scopes

[Julien Fischer]

On Mon, 6 Nov 2006, Zoltan Somogyi wrote:

> Treat trace goals as quantifying the variables that occur in their io() and/or
> state() components.

...

> tests/hard_coded/trace_goal_3.{m,exp}:
> 	New test case to test the new functionality.
>
> tests/hard_coded/Mmakefile:
> 	Enable the new test case.

You seem to have omitted the following (which I have committed.)

Estimated hours taken: 0
Branches: main

tests/hard_coded/Mercury.options:
 	Enable the trace goals in the test trace_goal_3; otherwise
 	it does not produce the expected output.

Index: Mercury.options
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/hard_coded/Mercury.options,v
retrieving revision 1.21
diff -u -r1.21 Mercury.options
--- Mercury.options	27 Jul 2006 05:03:43 -0000	1.21
+++ Mercury.options	8 Nov 2006 10:09:24 -0000
@@ -54,6 +54,7 @@
  MCFLAGS-trace_goal_1	=	--trace-flag=abc --trace-flag def
  MCFLAGS-trace_goal_env_1 =	--trace-flag=abc
  MCFLAGS-trace_goal_env_2 =	--trace-flag=abc
+MCFLAGS-trace_goal_3 = --trace-flag=abc
  MCFLAGS-trans_intermod_user_equality = --intermodule-optimization \
  				--transitive-intermodule-optimization
  MCFLAGS-trans_intermod_user_equality2 = --intermodule-optimization \
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------