Mercurial > urweb

diff src/mono.sml @ 1293:acabf3935060

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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.sml	Sun Sep 05 12:50:06 2010 -0400
+++ b/src/mono.sml	Sun Sep 05 14:00:57 2010 -0400
@@ -66,6 +66,8 @@
 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 @@
                      query : exp,
                      body : exp,
                      initial : exp }
-       | EDml of exp
+       | EDml of exp * failure_mode
        | ENextval of exp
        | ESetval of exp * exp