diff src/flat_util.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_util.sml	Thu Jul 10 15:19:06 2008 -0400
+++ b/src/flat_util.sml	Thu Jul 10 15:49:14 2008 -0400
@@ -209,6 +209,13 @@
                 S.map2 (mfe ctx e,
                      fn e' =>
                         (EWrite e', loc))
+
+              | ESeq (e1, e2) =>
+                S.bind2 (mfe ctx e1,
+                      fn e1' =>
+                         S.map2 (mfe ctx e2,
+                              fn e2' =>
+                                 (ESeq (e1', e2'), loc)))
     in
         mfe
     end