Mercurial > urweb
diff src/mono_print.sml @ 106:d101cb1efe55
More with attributes and efficient serialization
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 10 Jul 2008 15:49:14 -0400 |
parents | 5f04adf47f48 |
children | 813e5a52063d |
line wrap: on
line diff
--- a/src/mono_print.sml Thu Jul 10 15:19:06 2008 -0400 +++ b/src/mono_print.sml Thu Jul 10 15:49:14 2008 -0400 @@ -122,6 +122,11 @@ p_exp env e, string ")"] + | ESeq (e1, e2) => box [p_exp env e1, + string ";", + space, + p_exp env e2] + and p_exp env = p_exp' false env fun p_decl env ((d, _) : decl) =