Mercurial > urweb

comparison src/core_print.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 0dd40b6bfdf3
children 56aaa1941dad
comparison
equal deleted inserted replaced
607:0dd40b6bfdf3 608:330a7de47914
434 434
435 fun p_export_kind ck = 435 fun p_export_kind ck =
436 case ck of 436 case ck of
437 Link => string "link" 437 Link => string "link"
438 | Action => string "action" 438 | Action => string "action"
439 | Rpc => string "rpc"
439 440
440 fun p_datatype env (x, n, xs, cons) = 441 fun p_datatype env (x, n, xs, cons) =
441 let 442 let
442 val k = (KType, ErrorMsg.dummySpan) 443 val k = (KType, ErrorMsg.dummySpan)
443 val env = E.pushCNamed env x n (KType, ErrorMsg.dummySpan) NONE 444 val env = E.pushCNamed env x n (KType, ErrorMsg.dummySpan) NONE