Mercurial > urweb

diff src/settings.sig @ 1171:7a2a7a8f9cab

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
benignEffectful
author Adam Chlipala <adamc@hcoop.net>
date Sat, 27 Feb 2010 16:49:11 -0500
parents 8679ba87cf3c
children 9d3ccb8b39ac
line wrap: on
line diff
--- a/src/settings.sig	Sat Feb 27 14:57:57 2010 -0500
+++ b/src/settings.sig	Sat Feb 27 16:49:11 2010 -0500
@@ -58,6 +58,10 @@
     val setEffectful : ffi list -> unit
     val isEffectful : ffi -> bool
 
+    (* Which FFI functions should not have their calls removed or reordered, but cause no lasting effects? *)
+    val setBenignEffectful : ffi list -> unit
+    val isBenignEffectful : ffi -> bool
+
     (* Which FFI functions may only be run in clients? *)
     val setClientOnly : ffi list -> unit
     val isClientOnly : ffi -> bool