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/sql.sig | |
parent | 0185025d29459fe681afa1c01faa22a5d8034884 (diff) |
Mostly finish effectfulness analysis.
Diffstat (limited to 'src/sql.sig')
-rw-r--r-- | src/sql.sig | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/sql.sig b/src/sql.sig index 2aba8383..cf2ae14a 100644 --- a/src/sql.sig +++ b/src/sql.sig @@ -4,6 +4,12 @@ val debug : bool ref val sqlcacheMode : bool ref +datatype chunk = + String of string + | Exp of Mono.exp + +val chunkify : Mono.exp -> chunk list + type lvar = int datatype func = |