diff src/mono_util.sml @ 1293:acabf3935060

tryDml
author Adam Chlipala <adam@chlipala.net>
date Sun, 05 Sep 2010 14:00:57 -0400
parents a9a500d22ebc
children b4480a56cab7
line wrap: on
line diff
--- a/src/mono_util.sml	Sun Sep 05 12:50:06 2010 -0400
+++ b/src/mono_util.sml	Sun Sep 05 14:00:57 2010 -0400
@@ -332,10 +332,10 @@
                                                                                        initial = initial'},
                                                                                loc)))))))
 
-              | EDml e =>
+              | EDml (e, fm) =>
                 S.map2 (mfe ctx e,
                      fn e' =>
-                        (EDml e', loc))
+                        (EDml (e', fm), loc))
               | ENextval e =>
                 S.map2 (mfe ctx e,
                      fn e' =>