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