[m-rev.] for review: add thread_safe to int and float conversion functions

[Peter Wang]

I assume this has just been overlooked.

Estimated hours taken: 0.1
Branches: main

library/float.m:
library/int.m:
	Add thread safety annotations to float and int conversion functions.

Index: library/float.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/float.m,v
retrieving revision 1.65
diff -u -r1.65 float.m
--- library/float.m	14 Dec 2005 10:33:53 -0000	1.65
+++ library/float.m	6 Mar 2006 01:09:22 -0000
@@ -292,21 +292,21 @@
 
 :- pragma foreign_proc("C",
 	float(IntVal::in) = (FloatVal::out),
-	[will_not_call_mercury, promise_pure, will_not_modify_trail],
+	[will_not_call_mercury, promise_pure, thread_safe, will_not_modify_trail],
 "
 	FloatVal = IntVal;
 ").
 
 :- pragma foreign_proc("C#",
 	float(IntVal::in) = (FloatVal::out),
-	[will_not_call_mercury, promise_pure],
+	[will_not_call_mercury, promise_pure, thread_safe],
 "
 	FloatVal = (double) IntVal;
 ").
 
 :- pragma foreign_proc("Java",
 	float(IntVal::in) = (FloatVal::out),
-	[will_not_call_mercury, promise_pure],
+	[will_not_call_mercury, promise_pure, thread_safe],
 "
 	FloatVal = (double) IntVal;
 ").
Index: library/int.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/int.m,v
retrieving revision 1.109
diff -u -r1.109 int.m
--- library/int.m	14 Dec 2005 10:33:53 -0000	1.109
+++ library/int.m	6 Mar 2006 01:08:07 -0000
@@ -610,19 +610,19 @@
 
 :- pragma foreign_proc("C",
     int__to_float(IntVal::in, FloatVal::out),
-    [will_not_call_mercury, promise_pure, will_not_modify_trail],
+    [will_not_call_mercury, promise_pure, thread_safe, will_not_modify_trail],
 "
     FloatVal = IntVal;
 ").
 :- pragma foreign_proc("C#",
     int__to_float(IntVal::in, FloatVal::out),
-    [will_not_call_mercury, promise_pure],
+    [will_not_call_mercury, promise_pure, thread_safe],
 "
     FloatVal = (double) IntVal;
 ").
 :- pragma foreign_proc("Java",
     int__to_float(IntVal::in, FloatVal::out),
-    [will_not_call_mercury, promise_pure],
+    [will_not_call_mercury, promise_pure, thread_safe],
 "
     FloatVal = (double) IntVal;
 ").
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------