Mercurial > urweb

comparison src/expl_print.sml @ 100:f0f59e918cac

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
page declaration, up through monoize
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Jul 2008 10:11:35 -0400
parents 275aaeb73f1f
children 813e5a52063d
comparison
equal deleted inserted replaced
99:5182f0c80d2e 100:f0f59e918cac
390 p_named x n, 390 p_named x n,
391 space, 391 space,
392 string ":", 392 string ":",
393 space, 393 space,
394 p_sgn env sgn] 394 p_sgn env sgn]
395 | DPage (c, e) => box [string "page",
396 p_con env c,
397 space,
398 string "=",
399 space,
400 p_exp env e]
395 401
396 and p_str env (str, _) = 402 and p_str env (str, _) =
397 case str of 403 case str of
398 StrConst ds => box [string "struct", 404 StrConst ds => box [string "struct",
399 newline, 405 newline,