Mercurial > urweb

comparison src/elab_print.sml @ 704:70cbdcf5989b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
UNIQUE constraints
author Adam Chlipala <adamc@hcoop.net>
date Tue, 07 Apr 2009 12:24:31 -0400
parents 12b73f3c108e
children e6706a1df013
comparison
equal deleted inserted replaced
703:a5d8b470d7ca 704:70cbdcf5989b
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) => box [string "table", 743 | DTable (_, x, n, c, e) => 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,
751 string "constraints",
752 space,
753 p_exp env e]
750 | DSequence (_, x, n) => box [string "sequence", 754 | DSequence (_, x, n) => box [string "sequence",
751 space, 755 space,
752 p_named x n] 756 p_named x n]
753 | DClass (x, n, k, c) => box [string "class", 757 | DClass (x, n, k, c) => box [string "class",
754 space, 758 space,