diff src/cjrize.sml @ 1293:acabf3935060

tryDml
author Adam Chlipala <adam@chlipala.net>
date Sun, 05 Sep 2010 14:00:57 -0400
parents c316ca3c9ec6
children b4480a56cab7
line wrap: on
line diff
--- a/src/cjrize.sml	Sun Sep 05 12:50:06 2010 -0400
+++ b/src/cjrize.sml	Sun Sep 05 14:00:57 2010 -0400
@@ -455,11 +455,11 @@
                          query = query, body = body, initial = initial, prepared = NONE}, loc), sm)
         end
 
-      | L.EDml e =>
+      | L.EDml (e, mode) =>
         let
             val (e, sm) = cifyExp (e, sm)
         in
-            ((L'.EDml {dml = e, prepared = NONE}, loc), sm)
+            ((L'.EDml {dml = e, prepared = NONE, mode = mode}, loc), sm)
         end
 
       | L.ENextval e =>