Mercurial > urweb
diff src/toy_cache.sml @ 2259:6951a645ccdf
Fix effectfulness registration toy cache.
author | Ziv Scully <ziv@mit.edu> |
---|---|
date | Sun, 27 Sep 2015 17:24:57 -0400 |
parents | af1585e7d645 |
children | 34ad83d9b729 |
line wrap: on
line diff
--- a/src/toy_cache.sml Sun Sep 27 17:02:14 2015 -0400 +++ b/src/toy_cache.sml Sun Sep 27 17:24:57 2015 -0400 @@ -13,7 +13,13 @@ 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)