From 08bee251e9471ab1c1e634e85cd2e1c3830cd566 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 10 Oct 2013 18:01:30 -0400
Subject: Make transactional FFI functions effectful by default

---
 src/settings.sml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/settings.sml')

diff --git a/src/settings.sml b/src/settings.sml
index afe84617..948906ed 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -152,6 +152,7 @@ val effectfulBase = basis ["dml",
 val effectful = ref effectfulBase
 fun setEffectful ls = effectful := S.addList (effectfulBase, ls)
 fun isEffectful x = S.member (!effectful, x)
+fun addEffectful x = effectful := S.add (!effectful, x)
 
 val benignBase = basis ["get_cookie",
                         "new_client_source",
-- 
cgit v1.2.3