comparison 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
comparison
equal deleted inserted replaced
1199:c316ca3c9ec6 1200:5eac14322548
81 "nextval", 81 "nextval",
82 "setval", 82 "setval",
83 "set_cookie", 83 "set_cookie",
84 "clear_cookie", 84 "clear_cookie",
85 "new_channel", 85 "new_channel",
86 "send"] 86 "send",
87 "htmlifyInt_w",
88 "htmlifyFloat_w",
89 "htmlifyString_w",
90 "htmlifyBool_w",
91 "htmlifyTime_w",
92 "attrifyInt_w",
93 "attrifyFloat_w",
94 "attrifyString_w",
95 "attrifyChar_w",
96 "urlifyInt_w",
97 "urlifyFloat_w",
98 "urlifyString_w",
99 "urlifyBool_w",
100 "urlifyChannel_w"]
87 101
88 val effectful = ref effectfulBase 102 val effectful = ref effectfulBase
89 fun setEffectful ls = effectful := S.addList (effectfulBase, ls) 103 fun setEffectful ls = effectful := S.addList (effectfulBase, ls)
90 fun isEffectful x = S.member (!effectful, x) 104 fun isEffectful x = S.member (!effectful, x)
91 105