From ee175ea1f9151123e47d9cbfee0c6329b2e5d934 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 5 Sep 2010 14:00:57 -0400
Subject: tryDml

---
 src/mono.sml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/mono.sml')

diff --git a/src/mono.sml b/src/mono.sml
index 9a960cd0..554b1dc5 100644
--- a/src/mono.sml
+++ b/src/mono.sml
@@ -66,6 +66,8 @@ datatype javascript_mode =
 datatype effect = datatype Export.effect
 datatype export_kind = datatype Export.export_kind
 
+datatype failure_mode = datatype Settings.failure_mode
+
 datatype exp' =
          EPrim of Prim.t
        | ERel of int
@@ -104,7 +106,7 @@ datatype exp' =
                      query : exp,
                      body : exp,
                      initial : exp }
-       | EDml of exp
+       | EDml of exp * failure_mode
        | ENextval of exp
        | ESetval of exp * exp
 
-- 
cgit v1.2.3