summaryrefslogtreecommitdiff
path: root/src/settings.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-04-04 14:37:19 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-04-04 14:37:19 -0400
commiteb89ae4814a7cf17f76f5ab5d191349ba13bdef4 (patch)
tree92dc9593a0b4e0f22cbe699ae412b79ddf11570e /src/settings.sml
parent6a326e3bb3eb16e04f3cca082f0dd67278e85785 (diff)
Generated basic dummy Iflow conditions
Diffstat (limited to 'src/settings.sml')
-rw-r--r--src/settings.sml16
1 files changed, 15 insertions, 1 deletions
diff --git a/src/settings.sml b/src/settings.sml
index b9056c5b..3d163ca5 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -83,7 +83,21 @@ val effectfulBase = basis ["dml",
"set_cookie",
"clear_cookie",
"new_channel",
- "send"]
+ "send",
+ "htmlifyInt_w",
+ "htmlifyFloat_w",
+ "htmlifyString_w",
+ "htmlifyBool_w",
+ "htmlifyTime_w",
+ "attrifyInt_w",
+ "attrifyFloat_w",
+ "attrifyString_w",
+ "attrifyChar_w",
+ "urlifyInt_w",
+ "urlifyFloat_w",
+ "urlifyString_w",
+ "urlifyBool_w",
+ "urlifyChannel_w"]
val effectful = ref effectfulBase
fun setEffectful ls = effectful := S.addList (effectfulBase, ls)