diff src/sources @ 2209:0ca11d57c175

Cleans up interface (it's now a command line option) and renames project to "sqlcache" in the all-one-word style. Still has issues to do with concurrency, retrying transactions, and foreign function calls that either rely on state or have side effects.
author Ziv Scully <ziv@mit.edu>
date Sat, 31 May 2014 03:08:16 -0400
parents 01c8aceac480
children ef766ef6e242
line wrap: on
line diff
--- a/src/sources	Fri May 30 12:00:44 2014 -0400
+++ b/src/sources	Sat May 31 03:08:16 2014 -0400
@@ -189,10 +189,6 @@
 $(SRC)/sql.sig
 $(SRC)/sql.sml
 
-$(SRC)/multimap_fn.sml
-
-$(SRC)/sql_cache.sml
-
 $(SRC)/iflow.sig
 $(SRC)/iflow.sml
 
@@ -211,6 +207,11 @@
 $(SRC)/sigcheck.sig
 $(SRC)/sigcheck.sml
 
+$(SRC)/multimap_fn.sml
+
+$(SRC)/sqlcache.sig
+$(SRC)/sqlcache.sml
+
 $(SRC)/cjr.sml
 
 $(SRC)/postgres.sig