Mercurial > urweb
comparison src/expl_print.sml @ 705:e6706a1df013
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 |
---|---|
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, e, _) => 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 "constraints", |
675 space, | 675 space, |
676 p_exp env e] | 676 p_exp env e] |
677 | DSequence (_, x, n) => box [string "sequence", | 677 | DSequence (_, x, n) => box [string "sequence", |
678 space, | 678 space, |
679 p_named x n] | 679 p_named x n] |
680 | DDatabase s => box [string "database", | 680 | DDatabase s => box [string "database", |
681 space, | 681 space, |