diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-09-05 14:00:57 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-09-05 14:00:57 -0400 |
| commit | ee175ea1f9151123e47d9cbfee0c6329b2e5d934 (patch) | |
| tree | b1f65d2c756f6867bc59eb1a0bb424deefacfabe /src/mono.sml | |
| parent | 1d30544730c4785eef4aabc4a224c03fe1b26983 (diff) | |
tryDml
Diffstat (limited to 'src/mono.sml')
| -rw-r--r-- | src/mono.sml | 4 |
1 files changed, 3 insertions, 1 deletions
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 |