comparison src/settings.sml @ 2304:6fb9232ade99

Merge Sqlcache
author Adam Chlipala <adam@chlipala.net>
date Sun, 20 Dec 2015 14:18:52 -0500
parents 6eae499c56cb 8d772fbf59c1
children
comparison
equal deleted inserted replaced
2201:1091227f535a 2304:6fb9232ade99
149 "urlifyBool_w", 149 "urlifyBool_w",
150 "urlifyChannel_w"] 150 "urlifyChannel_w"]
151 151
152 val effectful = ref effectfulBase 152 val effectful = ref effectfulBase
153 fun setEffectful ls = effectful := S.addList (effectfulBase, ls) 153 fun setEffectful ls = effectful := S.addList (effectfulBase, ls)
154 fun isEffectful x = S.member (!effectful, x) 154 fun isEffectful ("Sqlcache", _) = true
155 | isEffectful x = S.member (!effectful, x)
155 fun addEffectful x = effectful := S.add (!effectful, x) 156 fun addEffectful x = effectful := S.add (!effectful, x)
156 157
157 val benignBase = basis ["get_cookie", 158 val benignBase = basis ["get_cookie",
158 "new_client_source", 159 "new_client_source",
159 "get_client_source", 160 "get_client_source",
799 800
800 val less = ref false 801 val less = ref false
801 fun setLessSafeFfi b = less := b 802 fun setLessSafeFfi b = less := b
802 fun getLessSafeFfi () = !less 803 fun getLessSafeFfi () = !less
803 804
805 val sqlcache = ref false
806 fun setSqlcache b = sqlcache := b
807 fun getSqlcache () = !sqlcache
808
804 structure SM = BinaryMapFn(struct 809 structure SM = BinaryMapFn(struct
805 type ord_key = string 810 type ord_key = string
806 val compare = String.compare 811 val compare = String.compare
807 end) 812 end)
808 813