Mercurial > urweb

comparison src/cjrize.sml @ 568:55fc747a67dc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial <dyn> support
author Adam Chlipala <adamc@hcoop.net>
date Sat, 20 Dec 2008 15:46:48 -0500
parents a152905c3c3b
children 162d5308e34f
comparison
equal deleted inserted replaced
567:1901db85acb4 568:55fc747a67dc
118 let 118 let
119 val (t, sm) = cify dtmap (t, sm) 119 val (t, sm) = cify dtmap (t, sm)
120 in 120 in
121 ((L'.TOption t, loc), sm) 121 ((L'.TOption t, loc), sm)
122 end 122 end
123 | L.TSignal _ => raise Fail "Cjrize: TSignal remains"
123 in 124 in
124 cify IM.empty x 125 cify IM.empty x
125 end 126 end
126 127
127 val dummye = (L'.EPrim (Prim.Int 0), ErrorMsg.dummySpan) 128 val dummye = (L'.EPrim (Prim.Int 0), ErrorMsg.dummySpan)
418 val (t, sm) = cifyTyp (t, sm) 419 val (t, sm) = cifyTyp (t, sm)
419 in 420 in
420 ((L'.EUnurlify (e, t), loc), sm) 421 ((L'.EUnurlify (e, t), loc), sm)
421 end 422 end
422 423
423 | L.EJavaScript _ => raise Fail "EJavaScript remains" 424 | L.EJavaScript _ => raise Fail "Cjrize: EJavaScript remains"
425 | L.ESignalReturn _ => raise Fail "Cjrize: ESignalReturn remains"
424 426
425 fun cifyDecl ((d, loc), sm) = 427 fun cifyDecl ((d, loc), sm) =
426 case d of 428 case d of
427 L.DDatatype (x, n, xncs) => 429 L.DDatatype (x, n, xncs) =>
428 let 430 let