Mercurial > urweb

comparison src/elab_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
738 p_str env str, 738 p_str env str,
739 space, 739 space,
740 string ":", 740 string ":",
741 space, 741 space,
742 p_sgn env sgn] 742 p_sgn env sgn]
743 | DTable (_, x, n, c, e, _) => box [string "table", 743 | DTable (_, x, n, c, pe, _, ce, _) => box [string "table",
744 space, 744 space,
745 p_named x n, 745 p_named x n,
746 space, 746 space,
747 string ":", 747 string ":",
748 space, 748 space,
749 p_con env c, 749 p_con env c,
750 space, 750 space,
751 string "constraints", 751 string "keys",
752 space, 752 space,
753 p_exp env e] 753 p_exp env pe,
754 space,
755 string "constraints",
756 space,
757 p_exp env ce]
754 | DSequence (_, x, n) => box [string "sequence", 758 | DSequence (_, x, n) => box [string "sequence",
755 space, 759 space,
756 p_named x n] 760 p_named x n]
757 | DClass (x, n, k, c) => box [string "class", 761 | DClass (x, n, k, c) => box [string "class",
758 space, 762 space,