Mercurial > urweb
comparison src/source_print.sml @ 1797:bb942416bf1c
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 |