[m-rev.] trivial diff: fix purity mismatch in extras

[Julien Fischer]

Estimated hours taken: 0
Branches: main, release

extras/references/tests/ref_test.m:
 	Fix purity mismatches in foreign clauses.

Julien.

Index: ref_test.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/extras/references/tests/ref_test.m,v
retrieving revision 1.3.4.1
diff -u -r1.3.4.1 ref_test.m
--- ref_test.m	21 Apr 2006 05:01:40 -0000	1.3.4.1
+++ ref_test.m	11 Sep 2006 02:16:25 -0000
@@ -161,7 +161,7 @@
  :- impure pred scope_test_message(string::in, int::in, int::in) is det.
  :- pragma foreign_proc("C",
  	scope_test_message(Prefix::in, Old::in, New::in),
-	[promise_pure, will_not_call_mercury],
+	[will_not_call_mercury],
  "
  	printf(""%s scope ref = %d; reset to %d\\n"", (char *) Prefix,
  			(int) Old, (int) New);
@@ -170,7 +170,7 @@
  :- impure pred dump_integer(int::in) is det.
  :- pragma foreign_proc("C",
  	dump_integer(X::in),
-	[promise_pure, will_not_call_mercury],
+	[will_not_call_mercury],
  "
  	printf(""%d\\n"", X);
  ").

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