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