diff src/toy_cache.sml @ 2259:6951a645ccdf

Fix effectfulness registration toy cache.
author Ziv Scully <ziv@mit.edu>
date Sun, 27 Sep 2015 17:24:57 -0400
parents af1585e7d645
children 34ad83d9b729
line wrap: on
line diff
--- a/src/toy_cache.sml	Sun Sep 27 17:02:14 2015 -0400
+++ b/src/toy_cache.sml	Sun Sep 27 17:24:57 2015 -0400
@@ -13,7 +13,13 @@
 fun withTyp typ = map (fn exp => (exp, typ))
 
 fun ffiAppCache' (func, index, argTyps) =
-    EFfiApp ("Sqlcache", func ^ Int.toString index, argTyps)
+    let
+        val m = "Sqlcache"
+        val f = func ^ Int.toString index
+    in
+        Settings.addEffectful (m, f);
+        EFfiApp (m, f, argTyps)
+    end
 
 fun check (index, keys) =
     ffiAppCache' ("check", index, withTyp stringTyp keys)