comparison src/cjrize.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
372 in 372 in
373 ((L'.EQuery {exps = exps', tables = tables', rnum = rnum, state = state, 373 ((L'.EQuery {exps = exps', tables = tables', rnum = rnum, state = state,
374 query = query, body = body, initial = initial, prepared = NONE}, loc), sm) 374 query = query, body = body, initial = initial, prepared = NONE}, loc), sm)
375 end 375 end
376 376
377 | L.EDml e =>
378 let
379 val (e, sm) = cifyExp (e, sm)
380 in
381 ((L'.EDml {dml = e, prepared = NONE}, loc), sm)
382 end
383
377 384
378 fun cifyDecl ((d, loc), sm) = 385 fun cifyDecl ((d, loc), sm) =
379 case d of 386 case d of
380 L.DDatatype (x, n, xncs) => 387 L.DDatatype (x, n, xncs) =>
381 let 388 let