Mercurial > urweb

comparison src/cjrize.sml @ 670:f73913d97a40

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Proper recv
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Mar 2009 16:03:45 -0400
parents aa2290c32ce2
children 655bcc9b77e0
comparison
equal deleted inserted replaced
669:f68eee90dbcf 670:f73913d97a40
428 | L.ESignalReturn _ => raise Fail "Cjrize: ESignalReturn remains" 428 | L.ESignalReturn _ => raise Fail "Cjrize: ESignalReturn remains"
429 | L.ESignalBind _ => raise Fail "Cjrize: ESignalBind remains" 429 | L.ESignalBind _ => raise Fail "Cjrize: ESignalBind remains"
430 | L.ESignalSource _ => raise Fail "Cjrize: ESignalSource remains" 430 | L.ESignalSource _ => raise Fail "Cjrize: ESignalSource remains"
431 431
432 | L.EServerCall _ => raise Fail "Cjrize EServerCall" 432 | L.EServerCall _ => raise Fail "Cjrize EServerCall"
433 | L.ERecv _ => raise Fail "Cjrize ERecv"
433 434
434 fun cifyDecl ((d, loc), sm) = 435 fun cifyDecl ((d, loc), sm) =
435 case d of 436 case d of
436 L.DDatatype (x, n, xncs) => 437 L.DDatatype (x, n, xncs) =>
437 let 438 let