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