[m-rev.] diff: remove thread_safe on io.do_make_temp

Peter Wang wangp at students.csse.unimelb.edu.au
Thu Apr 19 12:46:17 AEST 2007


Estimated hours taken: 0.1
Branches: main

library/io.m:
	Remove the `thread_safe' annotation on the C implementation of
	io.do_make_temp.  It uses a global variable.

Index: library/io.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/library/io.m,v
retrieving revision 1.378
diff -u -r1.378 io.m
--- library/io.m	30 Mar 2007 03:05:00 -0000	1.378
+++ library/io.m	19 Apr 2007 02:44:12 -0000
@@ -8480,7 +8480,7 @@
 :- pragma foreign_proc("C",
     io.do_make_temp(Dir::in, Prefix::in, Sep::in, FileName::out,
         Error::out, ErrorMessage::out, IO0::di, IO::uo),
-    [will_not_call_mercury, promise_pure, tabled_for_io, thread_safe,
+    [will_not_call_mercury, promise_pure, tabled_for_io,
         does_not_affect_liveness],
 "{
     /*
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list