Mercurial > urweb
comparison src/cjrize.sml @ 463:bb27c7efcd90
Reading cookies works
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 06 Nov 2008 12:08:41 -0500 |
parents | 787d4931fb07 |
children | a152905c3c3b |
comparison
equal
deleted
inserted
replaced
462:21bb5bbba2e9 | 463:bb27c7efcd90 |
---|---|
410 val (e, sm) = cifyExp (e, sm) | 410 val (e, sm) = cifyExp (e, sm) |
411 in | 411 in |
412 ((L'.ENextval {seq = e, prepared = NONE}, loc), sm) | 412 ((L'.ENextval {seq = e, prepared = NONE}, loc), sm) |
413 end | 413 end |
414 | 414 |
415 | L.EUnurlify (e, t) => | |
416 let | |
417 val (e, sm) = cifyExp (e, sm) | |
418 val (t, sm) = cifyTyp (t, sm) | |
419 in | |
420 ((L'.EUnurlify (e, t), loc), sm) | |
421 end | |
415 | 422 |
416 fun cifyDecl ((d, loc), sm) = | 423 fun cifyDecl ((d, loc), sm) = |
417 case d of | 424 case d of |
418 L.DDatatype (x, n, xncs) => | 425 L.DDatatype (x, n, xncs) => |
419 let | 426 let |