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