diff src/settings.sml @ 2265:a647a1560628

Hard-code Sqlcache module (in Ur/Web) as effectful and reorder sqlcache.sml.
author Ziv Scully <ziv@mit.edu>
date Wed, 14 Oct 2015 00:07:00 -0400
parents c05851bf7861
children 1e3ba868f8bf
line wrap: on
line diff
--- a/src/settings.sml	Tue Oct 13 20:24:37 2015 -0400
+++ b/src/settings.sml	Wed Oct 14 00:07:00 2015 -0400
@@ -151,7 +151,8 @@
 
 val effectful = ref effectfulBase
 fun setEffectful ls = effectful := S.addList (effectfulBase, ls)
-fun isEffectful x = S.member (!effectful, x)
+fun isEffectful ("Sqlcache", _) = true
+  | isEffectful x = S.member (!effectful, x)
 fun addEffectful x = effectful := S.add (!effectful, x)
 
 val benignBase = basis ["get_cookie",