comparison src/mono_print.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 8f8771f32909
children 56aaa1941dad
comparison
equal deleted inserted replaced
607:0dd40b6bfdf3 608:330a7de47914
306 string ")"] 306 string ")"]
307 | ESignalSource e => box [string "Source(", 307 | ESignalSource e => box [string "Source(",
308 p_exp env e, 308 p_exp env e,
309 string ")"] 309 string ")"]
310 310
311 | EServerCall (n, es, e) => box [string "Server(",
312 p_enamed env n,
313 string ",",
314 space,
315 p_list (p_exp env) es,
316 string ")[",
317 p_exp env e,
318 string "]"]
319
311 and p_exp env = p_exp' false env 320 and p_exp env = p_exp' false env
312 321
313 fun p_vali env (x, n, t, e, s) = 322 fun p_vali env (x, n, t, e, s) =
314 let 323 let
315 val xp = if !debug then 324 val xp = if !debug then