diff src/toy_cache.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 34ad83d9b729
children 0bdfec16a01d
line wrap: on
line diff
--- a/src/toy_cache.sml	Tue Oct 13 20:24:37 2015 -0400
+++ b/src/toy_cache.sml	Wed Oct 14 00:07:00 2015 -0400
@@ -13,13 +13,7 @@
 fun withTyp typ = map (fn exp => (exp, typ))
 
 fun ffiAppCache' (func, index, argTyps) =
-    let
-        val m = "Sqlcache"
-        val f = func ^ Int.toString index
-    in
-        Settings.addEffectful (m, f);
-        EFfiApp (m, f, argTyps)
-    end
+    EFfiApp ("Sqlcache", func ^ Int.toString index, argTyps)
 
 fun check (index, keys) =
     ffiAppCache' ("check", index, withTyp stringTyp keys)