Mercurial > urweb
diff src/cjrize.sml @ 608:330a7de47914
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 |
line wrap: on
line diff
--- a/src/cjrize.sml Sat Feb 14 14:07:56 2009 -0500 +++ b/src/cjrize.sml Sun Feb 15 09:27:36 2009 -0500 @@ -429,6 +429,8 @@ | L.ESignalBind _ => raise Fail "Cjrize: ESignalBind remains" | L.ESignalSource _ => raise Fail "Cjrize: ESignalSource remains" + | L.EServerCall _ => raise Fail "Cjrize EServerCall" + fun cifyDecl ((d, loc), sm) = case d of L.DDatatype (x, n, xncs) =>