diff options
author | Ziv Scully <ziv@mit.edu> | 2014-05-31 03:08:16 -0400 |
---|---|---|
committer | Ziv Scully <ziv@mit.edu> | 2014-05-31 03:08:16 -0400 |
commit | 171e5ecea687a43033e92c98c0661cc161d50e4a (patch) | |
tree | 84fb602a1abddb351063d16cd44c147b0053aecc /src/sqlcache.sig | |
parent | 77fa8d45d3bcc722b25e93a8c24081c74f3f4709 (diff) |
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.
Diffstat (limited to 'src/sqlcache.sig')
-rw-r--r-- | src/sqlcache.sig | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/sqlcache.sig b/src/sqlcache.sig new file mode 100644 index 00000000..ccc1741a --- /dev/null +++ b/src/sqlcache.sig @@ -0,0 +1,6 @@ +signature SQLCACHE = sig + +val ffiIndices : int list ref +val go : Mono.file -> Mono.file + +end |