comparison src/prepare.sml @ 307:52d4c60518d4

First INSERT works
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 15:05:52 -0400
parents 59dc042629b9
children 04ebfe929a98
comparison
equal deleted inserted replaced
306:99e4f39e820d 307:52d4c60518d4
148 ((EQuery {exps = exps, tables = tables, rnum = rnum, 148 ((EQuery {exps = exps, tables = tables, rnum = rnum,
149 state = state, query = query, body = body, 149 state = state, query = query, body = body,
150 initial = initial, prepared = SOME (#2 sns)}, loc), 150 initial = initial, prepared = SOME (#2 sns)}, loc),
151 ((String.concat (rev ss), n) :: #1 sns, #2 sns + 1))) 151 ((String.concat (rev ss), n) :: #1 sns, #2 sns + 1)))
152 152
153 | EDml {dml, ...} =>
154 (case prepString (dml, [], 0) of
155 NONE => (e, sns)
156 | SOME (ss, n) =>
157 ((EDml {dml = dml, prepared = SOME (#2 sns)}, loc),
158 ((String.concat (rev ss), n) :: #1 sns, #2 sns + 1)))
159
153 fun prepDecl (d as (_, loc), sns) = 160 fun prepDecl (d as (_, loc), sns) =
154 case #1 d of 161 case #1 d of
155 DStruct _ => (d, sns) 162 DStruct _ => (d, sns)
156 | DDatatype _ => (d, sns) 163 | DDatatype _ => (d, sns)
157 | DDatatypeForward _ => (d, sns) 164 | DDatatypeForward _ => (d, sns)