summaryrefslogtreecommitdiff
path: root/src/settings.sig
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2013-10-10 18:01:30 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2013-10-10 18:01:30 -0400
commit08bee251e9471ab1c1e634e85cd2e1c3830cd566 (patch)
tree36da11fa0eda62dae9ec1f9b6b2e759f28039265 /src/settings.sig
parent8b2c97e6fe1a63cb59655d83c1411fe75d9505d4 (diff)
Make transactional FFI functions effectful by default
Diffstat (limited to 'src/settings.sig')
-rw-r--r--src/settings.sig1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/settings.sig b/src/settings.sig
index 7675b9c8..40cfbacc 100644
--- a/src/settings.sig
+++ b/src/settings.sig
@@ -73,6 +73,7 @@ signature SETTINGS = sig
(* Which FFI functions have side effects? *)
val setEffectful : ffi list -> unit
+ val addEffectful : ffi -> unit
val isEffectful : ffi -> bool
(* Which FFI functions should not have their calls removed or reordered, but cause no lasting effects? *)