[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