diff options
author | Ziv Scully <ziv@mit.edu> | 2015-10-14 00:07:00 -0400 |
---|---|---|
committer | Ziv Scully <ziv@mit.edu> | 2015-10-14 00:07:00 -0400 |
commit | e86ed0717e35bea1ad6127d193e5979aec4841b9 (patch) | |
tree | 4cad5b76d4d1e760994253144d13e4c3e4a5bd8e /src/toy_cache.sml | |
parent | 51117ba9333e00cdd8c4c31307effbe93601d328 (diff) |
Hard-code Sqlcache module (in Ur/Web) as effectful and reorder sqlcache.sml.
Diffstat (limited to 'src/toy_cache.sml')
-rw-r--r-- | src/toy_cache.sml | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/src/toy_cache.sml b/src/toy_cache.sml index cfde027b..377cae01 100644 --- a/src/toy_cache.sml +++ b/src/toy_cache.sml @@ -13,13 +13,7 @@ val optionStringTyp = (TOption stringTyp, dummyLoc) 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) |