diff src/mono_shake.sml @ 1294:b4480a56cab7

Server-side 'onError'
author Adam Chlipala <adam@chlipala.net>
date Tue, 07 Sep 2010 08:28:07 -0400
parents a9a500d22ebc
children 27190faa36a3
line wrap: on
line diff
--- a/src/mono_shake.sml	Sun Sep 05 14:00:57 2010 -0400
+++ b/src/mono_shake.sml	Tue Sep 07 08:28:07 2010 -0400
@@ -70,6 +70,7 @@
                     in
                         usedVars st e1
                     end
+                  | ((DOnError n, _), (page_cs, page_es)) => (page_cs, IS.add (page_es, n))
                   | (_, st) => st) (IS.empty, IS.empty) file
 
         val (cdef, edef) = foldl (fn ((DDatatype dts, _), (cdef, edef)) =>
@@ -87,7 +88,8 @@
                                    | ((DCookie _, _), acc) => acc
                                    | ((DStyle _, _), acc) => acc
                                    | ((DTask _, _), acc) => acc
-                                   | ((DPolicy _, _), acc) => acc)
+                                   | ((DPolicy _, _), acc) => acc
+                                   | ((DOnError _, _), acc) => acc)
                                  (IM.empty, IM.empty) file
 
         fun typ (c, s) =
@@ -155,7 +157,8 @@
                       | (DCookie _, _) => true
                       | (DStyle _, _) => true
                       | (DTask _, _) => true
-                      | (DPolicy _, _) => true) file
+                      | (DPolicy _, _) => true
+                      | (DOnError _, _) => true) file
     end
 
 end