[m-rev.] diff: update foreign code attributes for io.file_modification_time_2/6

[Julien Fischer]

Branches: main, 11.07

library/io.m:
 	io.file_modification_time_2/6 now calls Mercury.

Julien.

Index: library/io.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/library/io.m,v
retrieving revision 1.467
diff -u -r1.467 io.m
--- library/io.m	6 Oct 2011 19:02:12 -0000	1.467
+++ library/io.m	6 Oct 2011 19:04:00 -0000
@@ -2841,7 +2841,7 @@
  :- pragma foreign_proc("C",
      io.file_modification_time_2(FileName::in, Status::out, Msg::out,
          Time::out, IO0::di, IO::uo),
-    [will_not_call_mercury, promise_pure, tabled_for_io, thread_safe,
+    [may_call_mercury, promise_pure, tabled_for_io, thread_safe,
          does_not_affect_liveness, no_sharing],
  "
  #ifdef MR_HAVE_STAT

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