[m-dev.] trivial diff: fix bug in my last change to library/io.m
Fergus Henderson
fjh at cs.mu.OZ.AU
Thu Sep 23 11:22:16 AEST 1999
Estimated hours taken: 0.25
library/io.m:
Fix a bug in my previous change to io.m: now that the C code for
io__make_temp can call mercury_io_error() to throw an exception,
it must be declared `may_call_mercury' rather than
`will_not_call_mercury'.
Workspace: /d-drive/home/hg/fjh/mercury
Index: library/io.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/io.m,v
retrieving revision 1.179
diff -u -r1.179 io.m
--- library/io.m 1999/09/17 08:23:20 1.179
+++ library/io.m 1999/09/23 01:16:48
@@ -3302,7 +3302,7 @@
:- pragma c_code(io__make_temp(Dir::in, Prefix::in, FileName::out,
IO0::di, IO::uo),
- [will_not_call_mercury, thread_safe],
+ [may_call_mercury, thread_safe],
"{
/*
** Constructs a temporary name by concatenating Dir, `/',
--
Fergus Henderson <fjh at cs.mu.oz.au> | "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh> | of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3 | -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to: mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions: mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------
More information about the developers
mailing list