Mercurial > urweb

comparison src/elab_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 318ba997a149
children 1aa9629e3a4c
comparison
equal deleted inserted replaced
1796:0de0daab5fbb 1797:bb942416bf1c
826 p_named x n, 826 p_named x n,
827 space, 827 space,
828 string "as", 828 string "as",
829 space, 829 space,
830 p_exp env e] 830 p_exp env e]
831 | DClass (x, n, k, c) => box [string "class",
832 space,
833 p_named x n,
834 space,
835 string "::",
836 space,
837 p_kind env k,
838 space,
839 string "=",
840 space,
841 p_con env c]
842 | DDatabase s => box [string "database", 831 | DDatabase s => box [string "database",
843 space, 832 space,
844 string s] 833 string s]
845 | DCookie (_, x, n, c) => box [string "cookie", 834 | DCookie (_, x, n, c) => box [string "cookie",
846 space, 835 space,