Mercurial > urweb
diff src/settings.sml @ 1878:df6a040f5389
Make transactional FFI functions effectful by default
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 10 Oct 2013 18:01:30 -0400 |
parents | c3119c263bd3 |
children | b6aee1d5b9b1 |
line wrap: on
line diff
--- a/src/settings.sml Thu Oct 10 14:48:43 2013 -0400 +++ b/src/settings.sml Thu Oct 10 18:01:30 2013 -0400 @@ -152,6 +152,7 @@ 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",