diff options
| author |  Ziv Scully <ziv@mit.edu> | 2014-10-31 09:25:03 -0400 |
|---|---|---|
| committer | Ziv Scully <ziv@mit.edu> | 2014-10-31 09:25:03 -0400 |
| commit | 7b94f3433f47e4e5010dc2af6010181da49637e8 (patch) | |
| tree | df609b60422a34b84de0420720afd59ce30b7989 /src/sources | |
| parent | 0185025d29459fe681afa1c01faa22a5d8034884 (diff) | |
Mostly finish effectfulness analysis.
Diffstat (limited to 'src/sources')
| -rw-r--r-- | src/sources | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/sources b/src/sources index 518b7484..7ad60517 100644 --- a/src/sources +++ b/src/sources @@ -168,6 +168,14 @@ $(SRC)/mono_env.sml $(SRC)/mono_print.sig $(SRC)/mono_print.sml +$(SRC)/sql.sig +$(SRC)/sql.sml + +$(SRC)/multimap_fn.sml + +$(SRC)/sqlcache.sig +$(SRC)/sqlcache.sml + $(SRC)/monoize.sig $(SRC)/monoize.sml @@ -186,9 +194,6 @@ $(SRC)/mono_shake.sml $(SRC)/fuse.sig $(SRC)/fuse.sml -$(SRC)/sql.sig -$(SRC)/sql.sml - $(SRC)/iflow.sig $(SRC)/iflow.sml @@ -207,11 +212,6 @@ $(SRC)/sidecheck.sml $(SRC)/sigcheck.sig $(SRC)/sigcheck.sml -$(SRC)/multimap_fn.sml - -$(SRC)/sqlcache.sig -$(SRC)/sqlcache.sml - $(SRC)/mono_inline.sml $(SRC)/cjr.sml |