Mercurial > urweb
comparison src/expl_print.sml @ 704:70cbdcf5989b
UNIQUE constraints
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 07 Apr 2009 12:24:31 -0400 |
parents | 354800878b4d |
children | e6706a1df013 |
comparison
equal
deleted
inserted
replaced
703:a5d8b470d7ca | 704:70cbdcf5989b |
---|---|
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) => 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, | |
674 string "constraints", | |
675 space, | |
676 p_exp env e] | |
673 | DSequence (_, x, n) => box [string "sequence", | 677 | DSequence (_, x, n) => box [string "sequence", |
674 space, | 678 space, |
675 p_named x n] | 679 p_named x n] |
676 | DDatabase s => box [string "database", | 680 | DDatabase s => box [string "database", |
677 space, | 681 space, |