diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2015-12-23 16:01:51 -0500 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2015-12-23 16:01:51 -0500 |
commit | 3d3886672433f0775f772d8d2ee47c5f5e0bc745 (patch) | |
tree | 072d171c17d92a6696024256c4b2f5aaa760df35 /src/sources | |
parent | bf037ce78c2c76a34ecca0fb8bafa5d5be38968a (diff) | |
parent | 4be7962adf740a35222bfd99608c04329a802a04 (diff) |
Merge branch 'upstream' into dfsg_clean20151220+dfsg
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 |