Mercurial > urweb

comparison src/expl_print.sml @ 707:d8217b4cb617

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
PRIMARY KEY
author Adam Chlipala <adamc@hcoop.net>
date Tue, 07 Apr 2009 16:14:31 -0400
parents e6706a1df013
children f152f215a02c
comparison
equal deleted inserted replaced
706:1fb318c17546 707:d8217b4cb617
661 p_str env str, 661 p_str env str,
662 space, 662 space,
663 string ":", 663 string ":",
664 space, 664 space,
665 p_sgn env sgn] 665 p_sgn env sgn]
666 | DTable (_, x, n, c, e, _) => box [string "table", 666 | DTable (_, x, n, c, pe, _, ce, _) => box [string "table",
667 space, 667 space,
668 p_named x n, 668 p_named x n,
669 space, 669 space,
670 string ":", 670 string ":",
671 space, 671 space,
672 p_con env c, 672 p_con env c,
673 space, 673 space,
674 string "constraints", 674 string "keys",
675 space, 675 space,
676 p_exp env e] 676 p_exp env pe,
677 space,
678 string "constraints",
679 space,
680 p_exp env ce]
677 | DSequence (_, x, n) => box [string "sequence", 681 | DSequence (_, x, n) => box [string "sequence",
678 space, 682 space,
679 p_named x n] 683 p_named x n]
680 | DDatabase s => box [string "database", 684 | DDatabase s => box [string "database",
681 space, 685 space,