summaryrefslogtreecommitdiff
path: root/src/toy_cache.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/toy_cache.sml')
-rw-r--r--src/toy_cache.sml8
1 files changed, 7 insertions, 1 deletions
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)