Mercurial > urweb
comparison src/mono_print.sml @ 614:5891f47d7cff
Parameterized RPC query
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 15 Feb 2009 13:03:09 -0500 |
parents | 56aaa1941dad |
children | f73913d97a40 |
comparison
equal
deleted
inserted
replaced
613:c5991cdb0c4b | 614:5891f47d7cff |
---|---|
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(", | 311 | EServerCall (n, e, _) => box [string "Server(", |
312 string n, | 312 p_exp env n, |
313 string ",", | |
314 space, | |
315 p_list (p_exp env) es, | |
316 string ")[", | 313 string ")[", |
317 p_exp env e, | 314 p_exp env e, |
318 string "]"] | 315 string "]"] |
319 | 316 |
320 and p_exp env = p_exp' false env | 317 and p_exp env = p_exp' false env |