Mercurial > urweb

comparison src/cjrize.sml @ 578:1e589a60b86f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Harmonized source-setting between server and client
author Adam Chlipala <adamc@hcoop.net>
date Tue, 30 Dec 2008 11:33:31 -0500
parents 3d56940120b1
children 330a7de47914
comparison
equal deleted inserted replaced
577:3d56940120b1 578:1e589a60b86f
420 val (t, sm) = cifyTyp (t, sm) 420 val (t, sm) = cifyTyp (t, sm)
421 in 421 in
422 ((L'.EUnurlify (e, t), loc), sm) 422 ((L'.EUnurlify (e, t), loc), sm)
423 end 423 end
424 424
425 | L.EJavaScript (_, _, SOME e) => cifyExp (e, sm)
425 | L.EJavaScript _ => raise Fail "Cjrize: EJavaScript remains" 426 | L.EJavaScript _ => raise Fail "Cjrize: EJavaScript remains"
427
426 | L.ESignalReturn _ => raise Fail "Cjrize: ESignalReturn remains" 428 | L.ESignalReturn _ => raise Fail "Cjrize: ESignalReturn remains"
427 | L.ESignalBind _ => raise Fail "Cjrize: ESignalBind remains" 429 | L.ESignalBind _ => raise Fail "Cjrize: ESignalBind remains"
428 | L.ESignalSource _ => raise Fail "Cjrize: ESignalSource remains" 430 | L.ESignalSource _ => raise Fail "Cjrize: ESignalSource remains"
429 431
430 fun cifyDecl ((d, loc), sm) = 432 fun cifyDecl ((d, loc), sm) =