Mercurial > urweb
comparison src/cjr.sml @ 1112:7a31e0cf25e9
Proper C-side deserialization; Shake.sliceDb
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 03 Jan 2010 12:47:27 -0500 |
parents | 72670131dace |
children | acabf3935060 |
comparison
equal
deleted
inserted
replaced
1111:e1d738870086 | 1112:7a31e0cf25e9 |
---|---|
94 | EDml of { dml : exp, | 94 | EDml of { dml : exp, |
95 prepared : {id : int, dml : string} option } | 95 prepared : {id : int, dml : string} option } |
96 | ENextval of { seq : exp, | 96 | ENextval of { seq : exp, |
97 prepared : {id : int, query : string} option } | 97 prepared : {id : int, query : string} option } |
98 | ESetval of { seq : exp, count : exp } | 98 | ESetval of { seq : exp, count : exp } |
99 | EUnurlify of exp * typ | 99 | EUnurlify of exp * typ * bool |
100 | 100 |
101 withtype exp = exp' located | 101 withtype exp = exp' located |
102 | 102 |
103 datatype task = Initialize | 103 datatype task = Initialize |
104 | 104 |