diff src/flat_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
line wrap: on
line diff
--- a/src/flat_print.sml	Thu Jul 10 15:19:06 2008 -0400
+++ b/src/flat_print.sml	Thu Jul 10 15:49:14 2008 -0400
@@ -146,6 +146,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) =