Mercurial > urweb

comparison src/cjrize.sml @ 695:500e93aa436f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
sleep and better Scriptcheck
author Adam Chlipala <adamc@hcoop.net>
date Sat, 04 Apr 2009 15:56:47 -0400
parents 655bcc9b77e0
children 70cbdcf5989b
comparison
equal deleted inserted replaced
694:7ea0df9e56b6 695:500e93aa436f
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 | L.ERecv _ => raise Fail "Cjrize ERecv"
434 | L.ESleep _ => raise Fail "Cjrize ESleep"
434 435
435 fun cifyDecl ((d, loc), sm) = 436 fun cifyDecl ((d, loc), sm) =
436 case d of 437 case d of
437 L.DDatatype (x, n, xncs) => 438 L.DDatatype (x, n, xncs) =>
438 let 439 let