From f59bbf0b942cd888c798c06ba6841bf94562a438 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 27 Feb 2010 16:49:11 -0500
Subject: benignEffectful

---
 src/settings.sig | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/settings.sig')

diff --git a/src/settings.sig b/src/settings.sig
index 348c47d4..3179c229 100644
--- a/src/settings.sig
+++ b/src/settings.sig
@@ -58,6 +58,10 @@ signature SETTINGS = sig
     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
-- 
cgit v1.2.3