[m-rev.] diff: hard_coded/foreign_type

[Zoltan Somogyi]

tests/hard_coded/foreign_type.m:
	Fix errors in foreign_proc annotations that caused this test case
	to suspend forever in .par grades.

Zoltan.

cvs diff: Diffing .
Index: foreign_type.m
===================================================================
RCS file: /home/mercury1/repository/tests/hard_coded/foreign_type.m,v
retrieving revision 1.6
diff -u -b -r1.6 foreign_type.m
--- foreign_type.m	25 Jun 2003 14:03:23 -0000	1.6
+++ foreign_type.m	2 Jul 2003 06:07:04 -0000
@@ -146,7 +146,7 @@
 %----------------------------------------------------------------------------%
 
 :- pragma foreign_proc(c, export_new(X::in, Y::in) = (C::out),
-	[will_not_call_mercury, promise_pure],
+	[may_call_mercury, promise_pure, thread_safe],
 "
 	coord *local_c;
 	local_c = exported_new(X, Y);
@@ -156,7 +156,7 @@
 export_new(X, Y) = new(X, Y).
 
 :- pragma foreign_proc(c, export_newpred(X::in, Y::in, C::out),
-	[will_not_call_mercury, promise_pure],
+	[may_call_mercury, promise_pure, thread_safe],
 "
 	coord *local_c;
 	exported_newpred(X, Y, &local_c);
cvs diff: Diffing exceptions
cvs diff: Diffing purity
cvs diff: Diffing sub-modules
cvs diff: Diffing typeclasses
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------