Mercurial > urweb

comparison src/cjrize.sml @ 608:330a7de47914

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Export RPC functions and push RPC calls through to Mono
author Adam Chlipala <adamc@hcoop.net>
date Sun, 15 Feb 2009 09:27:36 -0500
parents 1e589a60b86f
children 56aaa1941dad
comparison
equal deleted inserted replaced
607:0dd40b6bfdf3 608:330a7de47914
427 427
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"
433
432 fun cifyDecl ((d, loc), sm) = 434 fun cifyDecl ((d, loc), sm) =
433 case d of 435 case d of
434 L.DDatatype (x, n, xncs) => 436 L.DDatatype (x, n, xncs) =>
435 let 437 let
436 val dk = ElabUtil.classifyDatatype xncs 438 val dk = ElabUtil.classifyDatatype xncs