Mercurial > urweb

comparison src/cjrize.sml @ 1112:7a31e0cf25e9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Proper C-side deserialization; Shake.sliceDb
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Jan 2010 12:47:27 -0500
parents 72670131dace
children c316ca3c9ec6
comparison
equal deleted inserted replaced
1111:e1d738870086 1112:7a31e0cf25e9
474 val (e2, sm) = cifyExp (e2, sm) 474 val (e2, sm) = cifyExp (e2, sm)
475 in 475 in
476 ((L'.ESetval {seq = e1, count = e2}, loc), sm) 476 ((L'.ESetval {seq = e1, count = e2}, loc), sm)
477 end 477 end
478 478
479 | L.EUnurlify (e, t) => 479 | L.EUnurlify (e, t, b) =>
480 let 480 let
481 val (e, sm) = cifyExp (e, sm) 481 val (e, sm) = cifyExp (e, sm)
482 val (t, sm) = cifyTyp (t, sm) 482 val (t, sm) = cifyTyp (t, sm)
483 in 483 in
484 ((L'.EUnurlify (e, t), loc), sm) 484 ((L'.EUnurlify (e, t, b), loc), sm)
485 end 485 end
486 486
487 | L.EJavaScript _ => raise Fail "Cjrize: EJavaScript remains" 487 | L.EJavaScript _ => raise Fail "Cjrize: EJavaScript remains"
488 488
489 | L.ESignalReturn _ => raise Fail "Cjrize: ESignalReturn remains" 489 | L.ESignalReturn _ => raise Fail "Cjrize: ESignalReturn remains"