Mercurial > urweb

comparison src/elab_print.sml @ 459:f542bc3133dc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cookies through elaborate
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 10:29:55 -0500
parents 85819353a84f
children d34834af4512
comparison
equal deleted inserted replaced
458:8f65b0fa3b29 459:f542bc3133dc
534 p_named x n, 534 p_named x n,
535 space, 535 space,
536 string "=", 536 string "=",
537 space, 537 space,
538 p_con env c] 538 p_con env c]
539 | SgiCookie (_, x, n, c) => box [string "cookie",
540 space,
541 p_named x n,
542 space,
543 string ":",
544 space,
545 p_con env c]
539 546
540 and p_sgn env (sgn, _) = 547 and p_sgn env (sgn, _) =
541 case sgn of 548 case sgn of
542 SgnConst sgis => box [string "sig", 549 SgnConst sgis => box [string "sig",
543 newline, 550 newline,
705 space, 712 space,
706 p_con env c] 713 p_con env c]
707 | DDatabase s => box [string "database", 714 | DDatabase s => box [string "database",
708 space, 715 space,
709 string s] 716 string s]
717 | DCookie (_, x, n, c) => box [string "cookie",
718 space,
719 p_named x n,
720 space,
721 string ":",
722 space,
723 p_con env c]
710 724
711 and p_str env (str, _) = 725 and p_str env (str, _) =
712 case str of 726 case str of
713 StrConst ds => box [string "struct", 727 StrConst ds => box [string "struct",
714 newline, 728 newline,