[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