Mercurial > urweb

comparison src/core_print.sml @ 908:ed06e25c70ef

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Convert to requiring explicit 'rpc' marker
author Adam Chlipala <adamc@hcoop.net>
date Sat, 22 Aug 2009 12:55:18 -0400
parents 61a1f5c5ae2c
children 8e540df3294d
comparison
equal deleted inserted replaced
907:5fe49effbc83 908:ed06e25c70ef
435 space, 435 space,
436 string "in", 436 string "in",
437 newline, 437 newline,
438 p_exp (E.pushERel env x t) e2] 438 p_exp (E.pushERel env x t) e2]
439 439
440 | EServerCall (n, es, e, _) => box [string "Server(", 440 | EServerCall (n, es, e, _, _) => box [string "Server(",
441 p_enamed env n, 441 p_enamed env n,
442 string ",", 442 string ",",
443 space, 443 space,
444 p_list (p_exp env) es, 444 p_list (p_exp env) es,
445 string ")[", 445 string ")[",
446 p_exp env e, 446 p_exp env e,
447 string "]"] 447 string "]"]
448 448
449 | EKAbs (x, e) => box [string x, 449 | EKAbs (x, e) => box [string x,
450 space, 450 space,
451 string "==>", 451 string "==>",
452 space, 452 space,