Mercurial > urweb

comparison src/core_print.sml @ 609:56aaa1941dad

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
First gimpy RPC
author Adam Chlipala <adamc@hcoop.net>
date Sun, 15 Feb 2009 10:32:50 -0500
parents 330a7de47914
children 8998114760c1
comparison
equal deleted inserted replaced
608:330a7de47914 609:56aaa1941dad
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(", 397 | EServerCall (n, es, e, _) => box [string "Server(",
398 p_enamed env n, 398 p_enamed env n,
399 string ",", 399 string ",",
400 space, 400 space,
401 p_list (p_exp env) es, 401 p_list (p_exp env) es,
402 string ")[", 402 string ")[",
403 p_exp env e, 403 p_exp env e,
404 string "]"] 404 string "]"]
405 405
406 and p_exp env = p_exp' false env 406 and p_exp env = p_exp' false env
407 407
408 fun p_named x n = 408 fun p_named x n =
409 if !debug then 409 if !debug then