Mercurial > urweb

comparison src/elab_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 7bab29834cd6
children 813e5a52063d
comparison
equal deleted inserted replaced
99:5182f0c80d2e 100:f0f59e918cac
448 p_con env c1, 448 p_con env c1,
449 space, 449 space,
450 string "~", 450 string "~",
451 space, 451 space,
452 p_con env c2] 452 p_con env c2]
453 | DPage (c, e) => box [string "page",
454 p_con env c,
455 space,
456 string "=",
457 space,
458 p_exp env e]
453 459
454 and p_str env (str, _) = 460 and p_str env (str, _) =
455 case str of 461 case str of
456 StrConst ds => box [string "struct", 462 StrConst ds => box [string "struct",
457 newline, 463 newline,