Mercurial > urweb

comparison src/core_print.sml @ 1020:dfe34fad749d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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,