Mercurial > urweb

comparison src/cjrize.sml @ 815:493f44759879

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Redo Jscomp
author Adam Chlipala <adamc@hcoop.net>
date Sun, 17 May 2009 18:41:43 -0400
parents 81fce435e255
children 7a4b026e45dd
comparison
equal deleted inserted replaced
814:3f3b211f9bca 815:493f44759879
233 val (p, sm) = cifyPat (p, sm) 233 val (p, sm) = cifyPat (p, sm)
234 in 234 in
235 ((L'.PSome (t, p), loc), sm) 235 ((L'.PSome (t, p), loc), sm)
236 end 236 end
237 237
238
239 fun cifyExp (eAll as (e, loc), sm) = 238 fun cifyExp (eAll as (e, loc), sm) =
240 case e of 239 case e of
241 L.EPrim p => ((L'.EPrim p, loc), sm) 240 L.EPrim p => ((L'.EPrim p, loc), sm)
242 | L.ERel n => ((L'.ERel n, loc), sm) 241 | L.ERel n => ((L'.ERel n, loc), sm)
243 | L.ENamed n => ((L'.ENamed n, loc), sm) 242 | L.ENamed n => ((L'.ENamed n, loc), sm)
468 val (t, sm) = cifyTyp (t, sm) 467 val (t, sm) = cifyTyp (t, sm)
469 in 468 in
470 ((L'.EUnurlify (e, t), loc), sm) 469 ((L'.EUnurlify (e, t), loc), sm)
471 end 470 end
472 471
473 | L.EJavaScript (_, _, SOME e) => cifyExp (e, sm)
474 | L.EJavaScript _ => raise Fail "Cjrize: EJavaScript remains" 472 | L.EJavaScript _ => raise Fail "Cjrize: EJavaScript remains"
475 473
476 | L.ESignalReturn _ => raise Fail "Cjrize: ESignalReturn remains" 474 | L.ESignalReturn _ => raise Fail "Cjrize: ESignalReturn remains"
477 | L.ESignalBind _ => raise Fail "Cjrize: ESignalBind remains" 475 | L.ESignalBind _ => raise Fail "Cjrize: ESignalBind remains"
478 | L.ESignalSource _ => raise Fail "Cjrize: ESignalSource remains" 476 | L.ESignalSource _ => raise Fail "Cjrize: ESignalSource remains"