Mercurial > urweb
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 |