Mercurial > urweb

comparison src/mono_print.sml @ 736:796e42c93c48

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cookie signatures for RPCs
author Adam Chlipala <adamc@hcoop.net>
date Thu, 23 Apr 2009 16:13:02 -0400
parents 5819fb63c93a
children f7e2026dd5ae
comparison
equal deleted inserted replaced
735:5ccb67665d05 736:796e42c93c48
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, e, _) => box [string "Server(", 311 | EServerCall (n, e, _, _) => box [string "Server(",
312 p_exp env n, 312 p_exp env n,
313 string ")[", 313 string ")[",
314 p_exp env e, 314 p_exp env e,
315 string "]"] 315 string "]"]
316 | ERecv (n, e, _) => box [string "Recv(", 316 | ERecv (n, e, _) => box [string "Recv(",
317 p_exp env n, 317 p_exp env n,
318 string ")[", 318 string ")[",
319 p_exp env e, 319 p_exp env e,
320 string "]"] 320 string "]"]