Mercurial > urweb

comparison src/elab_print.sml @ 705:e6706a1df013

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