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/mono_util.sml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'src/mono_util.sml')

diff --git a/src/mono_util.sml b/src/mono_util.sml
index 8a567e83..d75b8300 100644
--- a/src/mono_util.sml
+++ b/src/mono_util.sml
@@ -538,6 +538,7 @@ fun mapfoldB {typ = fc, exp = fe, decl = fd, bind} =
                 S.map2 (mfpol ctx pol,
                      fn p' =>
                         (DPolicy p', loc))
+              | DOnError _ => S.return2 dAll
 
         and mfpol ctx pol =
             case pol of
@@ -644,6 +645,7 @@ fun mapfoldB (all as {bind, ...}) =
                                       | DStyle _ => ctx
                                       | DTask _ => ctx
                                       | DPolicy _ => ctx
+                                      | DOnError _ => ctx
                             in
                                 S.map2 (mff ctx' ds',
                                      fn ds' =>
@@ -698,7 +700,8 @@ val maxName = foldl (fn ((d, _) : decl, count) =>
                           | DCookie _ => count
                           | DStyle _ => count
                           | DTask _ => count
-                          | DPolicy _ => count) 0
+                          | DPolicy _ => count
+                          | DOnError _ => count) 0
 
 end
 
-- 
cgit v1.2.3