Mercurial > urweb

comparison src/core_print.sml @ 607:0dd40b6bfdf3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of RPCification
author Adam Chlipala <adamc@hcoop.net>
date Sat, 14 Feb 2009 14:07:56 -0500
parents ae03d09043c1
children 330a7de47914
comparison
equal deleted inserted replaced
606:5145181b02fa 607:0dd40b6bfdf3
392 space, 392 space,
393 string "in", 393 string "in",
394 newline, 394 newline,
395 p_exp (E.pushERel env x t) e2] 395 p_exp (E.pushERel env x t) e2]
396 396
397 | EServerCall (n, es, e) => box [string "Server(",
398 p_enamed env n,
399 string ",",
400 space,
401 p_list (p_exp env) es,
402 string ")[",
403 p_exp env e,
404 string "]"]
405
397 and p_exp env = p_exp' false env 406 and p_exp env = p_exp' false env
398 407
399 fun p_named x n = 408 fun p_named x n =
400 if !debug then 409 if !debug then
401 box [string x, 410 box [string x,