Mercurial > urweb

diff src/elab_util.sml @ 1294:b4480a56cab7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Server-side 'onError'
author Adam Chlipala <adam@chlipala.net>
date Tue, 07 Sep 2010 08:28:07 -0400
parents 56bd4a4f6e66
children d008c4c43a0a
line wrap: on
line diff
--- a/src/elab_util.sml	Sun Sep 05 14:00:57 2010 -0400
+++ b/src/elab_util.sml	Tue Sep 07 08:28:07 2010 -0400
@@ -883,7 +883,8 @@
                                                  | DStyle (tn, x, n) =>
                                                    bind (ctx, NamedE (x, (CModProj (n, [], "css_class"), loc)))
                                                  | DTask _ => ctx
-                                                 | DPolicy _ => ctx,
+                                                 | DPolicy _ => ctx
+                                                 | DOnError _ => ctx,
                                                mfd ctx d)) ctx ds,
                      fn ds' => (StrConst ds', loc))
               | StrVar _ => S.return2 strAll
@@ -1018,6 +1019,7 @@
                 S.map2 (mfe ctx e1,
                      fn e1' =>
                         (DPolicy e1', loc))
+              | DOnError _ => S.return2 dAll
 
         and mfvi ctx (x, n, c, e) =
             S.bind2 (mfc ctx c,
@@ -1162,6 +1164,7 @@
       | DStyle (n1, _, n2) => Int.max (n1, n2)
       | DTask _ => 0
       | DPolicy _ => 0
+      | DOnError _ => 0
 and maxNameStr (str, _) =
     case str of
         StrConst ds => maxName ds