From 5545969f485ef2fb944db8e7b0237acbabeb8d4c Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Tue, 7 Sep 2010 08:28:07 -0400
Subject: Server-side 'onError'

---
 src/core_util.sml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'src/core_util.sml')

diff --git a/src/core_util.sml b/src/core_util.sml
index eedcd2bb..e71d7276 100644
--- a/src/core_util.sml
+++ b/src/core_util.sml
@@ -997,6 +997,8 @@ fun mapfoldB {kind = fk, con = fc, exp = fe, decl = fd, bind} =
                      fn e' =>
                         (DPolicy e', loc))
 
+              | DOnError _ => S.return2 dAll
+
         and mfvi ctx (x, n, t, e, s) =
             S.bind2 (mfc ctx t,
                   fn t' =>
@@ -1152,6 +1154,7 @@ fun mapfoldB (all as {bind, ...}) =
                                         end
                                       | DTask _ => ctx
                                       | DPolicy _ => ctx
+                                      | DOnError _ => ctx
                             in
                                 S.map2 (mff ctx' ds',
                                      fn ds' =>
@@ -1216,7 +1219,8 @@ val maxName = foldl (fn ((d, _) : decl, count) =>
                           | DCookie (_, n, _, _) => Int.max (n, count)
                           | DStyle (_, n, _) => Int.max (n, count)
                           | DTask _ => count
-                          | DPolicy _ => count) 0
+                          | DPolicy _ => count
+                          | DOnError _ => count) 0
               
 end
 
-- 
cgit v1.2.3