Mercurial > urweb

comparison src/cjrize.sml @ 572:57018f21cd5c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Handling singnal bind
author Adam Chlipala <adamc@hcoop.net>
date Sun, 21 Dec 2008 12:30:57 -0500
parents 162d5308e34f
children ac947e2f29ff
comparison
equal deleted inserted replaced
571:86d324061ddc 572:57018f21cd5c
421 ((L'.EUnurlify (e, t), loc), sm) 421 ((L'.EUnurlify (e, t), loc), sm)
422 end 422 end
423 423
424 | L.EJavaScript _ => raise Fail "Cjrize: EJavaScript remains" 424 | L.EJavaScript _ => raise Fail "Cjrize: EJavaScript remains"
425 | L.ESignalReturn _ => raise Fail "Cjrize: ESignalReturn remains" 425 | L.ESignalReturn _ => raise Fail "Cjrize: ESignalReturn remains"
426 | L.ESignalBind _ => raise Fail "Cjrize: ESignalBind remains"
426 427
427 fun cifyDecl ((d, loc), sm) = 428 fun cifyDecl ((d, loc), sm) =
428 case d of 429 case d of
429 L.DDatatype (x, n, xncs) => 430 L.DDatatype (x, n, xncs) =>
430 let 431 let