Mercurial > urweb
comparison src/mono_print.sml @ 1021:7a4a55e05081
Use call/cc for recv and sleep
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 25 Oct 2009 15:29:21 -0400 |
parents | dfe34fad749d |
children | 217eb87dde31 |
comparison
equal
deleted
inserted
replaced
1020:dfe34fad749d | 1021:7a4a55e05081 |
---|---|
336 string ")"] | 336 string ")"] |
337 | 337 |
338 | EServerCall (n, _, _) => box [string "Server(", | 338 | EServerCall (n, _, _) => box [string "Server(", |
339 p_exp env n, | 339 p_exp env n, |
340 string ")"] | 340 string ")"] |
341 | ERecv (n, e, _) => box [string "Recv(", | 341 | ERecv (n, _) => box [string "Recv(", |
342 p_exp env n, | 342 p_exp env n, |
343 string ")[", | 343 string ")"] |
344 p_exp env e, | 344 | ESleep n => box [string "Sleep(", |
345 string "]"] | 345 p_exp env n, |
346 | ESleep (n, e) => box [string "Sleep(", | 346 string ")"] |
347 p_exp env n, | 347 | ESpawn n => box [string "Spawn(", |
348 string ")[", | 348 p_exp env n, |
349 p_exp env e, | 349 string ")"] |
350 string "]"] | |
351 | 350 |
352 and p_exp env = p_exp' false env | 351 and p_exp env = p_exp' false env |
353 | 352 |
354 fun p_vali env (x, n, t, e, s) = | 353 fun p_vali env (x, n, t, e, s) = |
355 let | 354 let |