summaryrefslogtreecommitdiff
path: root/src/toy_cache.sml
diff options
context:
space:
mode:
authorGravatar Ziv Scully <ziv@mit.edu>2015-09-27 17:24:57 -0400
committerGravatar Ziv Scully <ziv@mit.edu>2015-09-27 17:24:57 -0400
commit5d00499cabd7c0ddf5eb9e78c883615cb918197e (patch)
tree31193f03ce0d94ed87a66287afa1e4f70bc91cb3 /src/toy_cache.sml
parent150e1a3cdc0cfae2f583f7d0185b90d5ee82a018 (diff)
Fix effectfulness registration toy cache.
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)