From 5d00499cabd7c0ddf5eb9e78c883615cb918197e Mon Sep 17 00:00:00 2001
From: Ziv Scully <ziv@mit.edu>
Date: Sun, 27 Sep 2015 17:24:57 -0400
Subject: Fix effectfulness registration toy cache.

---
 src/toy_cache.sml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'src/toy_cache.sml')

diff --git a/src/toy_cache.sml b/src/toy_cache.sml
index 126768b6..34a7a26f 100644
--- a/src/toy_cache.sml
+++ b/src/toy_cache.sml
@@ -13,7 +13,13 @@ val optionStringTyp = (TOption stringTyp, dummyLoc)
 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)
-- 
cgit v1.2.3