Ur/Web: src/prepare.sml comparison

Avoid using prepared statements for non-persistent protocols

author	Adam Chlipala <adamc@hcoop.net>
date	Sat, 27 Jun 2009 10:50:45 -0400
parents	8688e01ae469
children	3c7b48040dcf

comparison

equal deleted inserted replaced

-:3d2f6cb6d54a
+:346cf1908a17
 ((EQuery {exps = exps, tables = tables, rnum = rnum,
 state = state, query = query, body = body,
 initial = initial, prepared = NONE}, loc),
 sns)
 | SOME (ss, n) =>
-((EQuery {exps = exps, tables = tables, rnum = rnum,
+let
-state = state, query = query, body = body,
+val s = String.concat (rev ss)
-initial = initial, prepared = SOME (#2 sns)}, loc),
+in
-((String.concat (rev ss), n) :: #1 sns, #2 sns + 1))
+((EQuery {exps = exps, tables = tables, rnum = rnum,
+state = state, query = query, body = body,
+initial = initial, prepared = SOME (#2 sns, s)}, loc),
+((s, n) :: #1 sns, #2 sns + 1))
+end
 end
 | EDml {dml, ...} =>
 (case prepString (dml, [], 0) of
 NONE => (e, sns)
 | SOME (ss, n) =>
-((EDml {dml = dml, prepared = SOME (#2 sns)}, loc),
+let
-((String.concat (rev ss), n) :: #1 sns, #2 sns + 1)))
+val s = String.concat (rev ss)
+in
+((EDml {dml = dml, prepared = SOME (#2 sns, s)}, loc),
+((s, n) :: #1 sns, #2 sns + 1))
+end)
 | ENextval {seq, ...} =>
 let
 val s = case seq of
 (EPrim (Prim.String s), loc) =>
 end
 in
 case prepString (s, [], 0) of
 NONE => (e, sns)
 | SOME (ss, n) =>
-((ENextval {seq = seq, prepared = SOME (#2 sns)}, loc),
+let
-((String.concat (rev ss), n) :: #1 sns, #2 sns + 1))
+val s = String.concat (rev ss)
+in
+((ENextval {seq = seq, prepared = SOME (#2 sns, s)}, loc),
+((s, n) :: #1 sns, #2 sns + 1))
+end
 end
 | EUnurlify (e, t) =>
 let
 val (e, sns) = prepExp (e, sns)

Mercurial > urweb