diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2015-12-20 14:18:52 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2015-12-20 14:18:52 -0500 |
| commit | 68b355524cc20056d8c059138be225aaa9762e0a (patch) | |
| tree | 6c9a407a965d2cdd5f30815cc3e642a6f9b3d451 /src/sources | |
| parent | 7bf4f9f063dcdc9fc50ad6ac6143b113535b68f0 (diff) | |
| parent | 0271786bacdf9c12a142367a479b24ba111ebd17 (diff) | |
Merge Sqlcache
Diffstat (limited to 'src/sources')
| -rw-r--r-- | src/sources | 25 |
1 files changed, 23 insertions, 2 deletions
diff --git a/src/sources b/src/sources index a5235357..8bf80bc6 100644 --- a/src/sources +++ b/src/sources @@ -168,6 +168,27 @@ $(SRC)/mono_env.sml $(SRC)/mono_print.sig $(SRC)/mono_print.sml +$(SRC)/mono_fooify.sig +$(SRC)/mono_fooify.sml + +$(SRC)/sql.sig +$(SRC)/sql.sml + +$(SRC)/union_find_fn.sml +$(SRC)/multimap_fn.sml + +$(SRC)/list_key_fn.sml +$(SRC)/option_key_fn.sml +$(SRC)/pair_key_fn.sml +$(SRC)/triple_key_fn.sml + +$(SRC)/cache.sml +$(SRC)/toy_cache.sml +$(SRC)/lru_cache.sml + +$(SRC)/sqlcache.sig +$(SRC)/sqlcache.sml + $(SRC)/monoize.sig $(SRC)/monoize.sml @@ -186,8 +207,6 @@ $(SRC)/mono_shake.sml $(SRC)/fuse.sig $(SRC)/fuse.sml -$(SRC)/sql.sml - $(SRC)/iflow.sig $(SRC)/iflow.sml @@ -206,6 +225,8 @@ $(SRC)/sidecheck.sml $(SRC)/sigcheck.sig $(SRC)/sigcheck.sml +$(SRC)/mono_inline.sml + $(SRC)/cjr.sml $(SRC)/postgres.sig |