[m-rev.] trivial diff: update test cases

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

My recent change to goal_form.m means that the following test
cases will fail because the compiler will now optimize away the
calls to turn_on_origin_debug.

tests/debugger/declarative/dependency.m:
tests/debugger/declarative/dependency2.m:
	Update these test cases so that they work with the
	recent changes to goal_form.m.

Julien.

Index: dependency.m
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/dependency.m,v
retrieving revision 1.1
diff -u -r1.1 dependency.m
--- dependency.m	23 Apr 2002 08:52:41 -0000	1.1
+++ dependency.m	4 Apr 2005 04:43:01 -0000
@@ -7,9 +7,9 @@

 :- implementation.
 :- import_module bool, int, list, require, std_util.
-
+:- pragma promise_pure(main/2).
 main -->
-	{ turn_on_origin_debug },
+	{ impure turn_on_origin_debug },
 	{ test(L) },
 	io__write(L),
 	io__write_string(".\n").
@@ -64,11 +64,11 @@
 		error("r: bad input")
 	).

-:- pred turn_on_origin_debug is det.
+:- impure pred turn_on_origin_debug is det.

 :- pragma foreign_proc("C",
 	turn_on_origin_debug,
-	[will_not_call_mercury, promise_pure],
+	[will_not_call_mercury],
 "
 	extern	int	MR_DD_debug_origin;

Index: dependency2.m
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/dependency2.m,v
retrieving revision 1.1
diff -u -r1.1 dependency2.m
--- dependency2.m	30 Apr 2002 07:08:02 -0000	1.1
+++ dependency2.m	4 Apr 2005 04:46:07 -0000
@@ -7,9 +7,9 @@

 :- implementation.
 :- import_module bool, int, list, require, std_util.
-
+:- pragma promise_pure(main/2).
 main -->
-	{ turn_on_origin_debug },
+	{ impure turn_on_origin_debug },
 	{ test(L) },
 	io__write(L),
 	io__write_string(".\n").
@@ -64,11 +64,11 @@
 		error("r: bad input")
 	).

-:- pred turn_on_origin_debug is det.
+:- impure pred turn_on_origin_debug is det.

 :- pragma foreign_proc("C",
 	turn_on_origin_debug,
-	[will_not_call_mercury, promise_pure],
+	[will_not_call_mercury],
 "
 	extern	int	MR_DD_debug_origin;

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------