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