Mercurial > urweb
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) |