Mercurial > urweb

comparison src/expl_print.sml @ 460:d34834af4512

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cookies through explify
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 10:43:48 -0500
parents 787d4931fb07
children 40c737913075
comparison
equal deleted inserted replaced
459:f542bc3133dc 460:d34834af4512
469 p_named x n, 469 p_named x n,
470 space, 470 space,
471 string "=", 471 string "=",
472 space, 472 space,
473 p_sgn env sgn] 473 p_sgn env sgn]
474 | SgiTable (_, x, n, c) => box [string "table",
475 space,
476 p_named x n,
477 space,
478 string ":",
479 space,
480 p_con env c]
481 | SgiSequence (_, x, n) => box [string "sequence",
482 space,
483 p_named x n]
484 474
485 and p_sgn env (sgn, loc) = 475 and p_sgn env (sgn, loc) =
486 case sgn of 476 case sgn of
487 SgnConst sgis => box [string "sig", 477 SgnConst sgis => box [string "sig",
488 newline, 478 newline,
633 space, 623 space,
634 p_named x n] 624 p_named x n]
635 | DDatabase s => box [string "database", 625 | DDatabase s => box [string "database",
636 space, 626 space,
637 string s] 627 string s]
628 | DCookie (_, x, n, c) => box [string "cookie",
629 space,
630 p_named x n,
631 space,
632 string ":",
633 space,
634 p_con env c]
638 635
639 and p_str env (str, _) = 636 and p_str env (str, _) =
640 case str of 637 case str of
641 StrConst ds => box [string "struct", 638 StrConst ds => box [string "struct",
642 newline, 639 newline,