Mercurial > urweb
comparison src/core_print.sml @ 1020:dfe34fad749d
RPC uses VM support for call/cc
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 25 Oct 2009 14:07:10 -0400 |
parents | 2a50da66ffd8 |
children | b2311dfb3158 |
comparison
equal
deleted
inserted
replaced
1019:68ba074e260f | 1020:dfe34fad749d |
---|---|
436 space, | 436 space, |
437 string "in", | 437 string "in", |
438 newline, | 438 newline, |
439 p_exp (E.pushERel env x t) e2] | 439 p_exp (E.pushERel env x t) e2] |
440 | 440 |
441 | EServerCall (n, es, e, _, _) => box [string "Server(", | 441 | EServerCall (n, es, _) => box [string "Server(", |
442 p_enamed env n, | 442 p_enamed env n, |
443 string ",", | 443 string ",", |
444 space, | 444 space, |
445 p_list (p_exp env) es, | 445 p_list (p_exp env) es, |
446 string ")[", | 446 string ")"] |
447 p_exp env e, | |
448 string "]"] | |
449 | ETailCall (n, es, e, _, _) => box [string "Tail(", | |
450 p_enamed env n, | |
451 string ",", | |
452 space, | |
453 p_list (p_exp env) es, | |
454 string ")[", | |
455 p_exp env e, | |
456 string "]"] | |
457 | 447 |
458 | EKAbs (x, e) => box [string x, | 448 | EKAbs (x, e) => box [string x, |
459 space, | 449 space, |
460 string "==>", | 450 string "==>", |
461 space, | 451 space, |