Mercurial > urweb

comparison src/core_print.sml @ 450:07f6576aeb0a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Wrapping works in Blog
author Adam Chlipala <adamc@hcoop.net>
date Sat, 01 Nov 2008 16:46:16 -0400
parents dfc8c991abd0
children 5c9606deacb6
comparison
equal deleted inserted replaced
449:89f766f19d5b 450:07f6576aeb0a
360 p_enamed env n, 360 p_enamed env n,
361 p_list_sep (string "") (fn e => box [string ", ", 361 p_list_sep (string "") (fn e => box [string ", ",
362 p_exp env e]) es, 362 p_exp env e]) es,
363 string ")"] 363 string ")"]
364 364
365 | ELet (x, t, e1, e2) => box [string "let",
366 space,
367 string x,
368 space,
369 string ":",
370 p_con env t,
371 space,
372 string "=",
373 space,
374 p_exp env e1,
375 space,
376 string "in",
377 newline,
378 p_exp (E.pushERel env x t) e2]
379
365 and p_exp env = p_exp' false env 380 and p_exp env = p_exp' false env
366 381
367 fun p_named x n = 382 fun p_named x n =
368 if !debug then 383 if !debug then
369 box [string x, 384 box [string x,