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