Mercurial > urweb
diff src/toy_cache.sml @ 2265:a647a1560628
Hard-code Sqlcache module (in Ur/Web) as effectful and reorder sqlcache.sml.
author | Ziv Scully <ziv@mit.edu> |
---|---|
date | Wed, 14 Oct 2015 00:07:00 -0400 |
parents | 34ad83d9b729 |
children | 0bdfec16a01d |
line wrap: on
line diff
--- a/src/toy_cache.sml Tue Oct 13 20:24:37 2015 -0400 +++ b/src/toy_cache.sml Wed Oct 14 00:07:00 2015 -0400 @@ -13,13 +13,7 @@ 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)