Mercurial > urweb
comparison src/sql.sig @ 2215:639e62ca2530
Mostly finish effectfulness analysis.
author | Ziv Scully <ziv@mit.edu> |
---|---|
date | Fri, 31 Oct 2014 09:25:03 -0400 |
parents | 365727ff68f4 |
children | 70ec9bb337be |
comparison
equal
deleted
inserted
replaced
2214:edd634b889d0 | 2215:639e62ca2530 |
---|---|
1 signature SQL = sig | 1 signature SQL = sig |
2 | 2 |
3 val debug : bool ref | 3 val debug : bool ref |
4 | 4 |
5 val sqlcacheMode : bool ref | 5 val sqlcacheMode : bool ref |
6 | |
7 datatype chunk = | |
8 String of string | |
9 | Exp of Mono.exp | |
10 | |
11 val chunkify : Mono.exp -> chunk list | |
6 | 12 |
7 type lvar = int | 13 type lvar = int |
8 | 14 |
9 datatype func = | 15 datatype func = |
10 DtCon0 of string | 16 DtCon0 of string |