Mercurial > urweb

comparison src/source_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 e68de2a5506b
children 1fb318c17546
comparison
equal deleted inserted replaced
703:a5d8b470d7ca 704:70cbdcf5989b
586 p_list_sep (string ".") string (m :: ms)] 586 p_list_sep (string ".") string (m :: ms)]
587 587
588 | DExport str => box [string "export", 588 | DExport str => box [string "export",
589 space, 589 space,
590 p_str str] 590 p_str str]
591 | DTable (x, c) => box [string "table", 591 | DTable (x, c, e) => box [string "table",
592 space, 592 space,
593 string x, 593 string x,
594 space, 594 space,
595 string ":", 595 string ":",
596 space, 596 space,
597 p_con c] 597 p_con c,
598 space,
599 string "constraints",
600 space,
601 p_exp e]
598 | DSequence x => box [string "sequence", 602 | DSequence x => box [string "sequence",
599 space, 603 space,
600 string x] 604 string x]
601 | DClass (x, k, c) => box [string "class", 605 | DClass (x, k, c) => box [string "class",
602 space, 606 space,