Mercurial > urweb
diff src/settings.sml @ 1200:5eac14322548
Generated basic dummy Iflow conditions
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 04 Apr 2010 14:37:19 -0400 |
parents | 134da5110bf7 |
children | e80582b927f2 |
line wrap: on
line diff
--- a/src/settings.sml Sun Apr 04 12:29:34 2010 -0400 +++ b/src/settings.sml Sun Apr 04 14:37:19 2010 -0400 @@ -83,7 +83,21 @@ "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)