Mercurial > urweb

comparison src/source_print.sml @ 1797:bb942416bf1c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Remove 'class' declaration; now use 'con' instead
author Adam Chlipala <adam@chlipala.net>
date Sun, 29 Jul 2012 12:27:13 -0400
parents 4a03aa3251cb
children 1aa9629e3a4c
comparison
equal deleted inserted replaced
1796:0de0daab5fbb 1797:bb942416bf1c
638 string x, 638 string x,
639 space, 639 space,
640 string "=", 640 string "=",
641 space, 641 space,
642 p_exp e] 642 p_exp e]
643 | DClass (x, k, c) => box [string "class",
644 space,
645 string x,
646 space,
647 string "=",
648 space,
649 p_con c]
650 643
651 | DDatabase s => box [string "database", 644 | DDatabase s => box [string "database",
652 space, 645 space,
653 string s] 646 string s]
654 647