Mercurial > urweb
comparison src/mono_print.sml @ 670:f73913d97a40
Proper recv
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 22 Mar 2009 16:03:45 -0400 |
parents | 5891f47d7cff |
children | 9a2c18dab11d |
comparison
equal
deleted
inserted
replaced
669:f68eee90dbcf | 670:f73913d97a40 |
---|---|
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(", | |
317 p_exp env n, | |
318 string ")[", | |
319 p_exp env e, | |
320 string "]"] | |
316 | 321 |
317 and p_exp env = p_exp' false env | 322 and p_exp env = p_exp' false env |
318 | 323 |
319 fun p_vali env (x, n, t, e, s) = | 324 fun p_vali env (x, n, t, e, s) = |
320 let | 325 let |