diff options
author | Adam Chlipala <adam@chlipala.net> | 2010-09-07 08:28:07 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2010-09-07 08:28:07 -0400 |
commit | 5545969f485ef2fb944db8e7b0237acbabeb8d4c (patch) | |
tree | ab4a39c6f88b3e8719c9e41dfcd7f147126ef790 /src/mono_shake.sml | |
parent | ee175ea1f9151123e47d9cbfee0c6329b2e5d934 (diff) |
Server-side 'onError'
Diffstat (limited to 'src/mono_shake.sml')
-rw-r--r-- | src/mono_shake.sml | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/mono_shake.sml b/src/mono_shake.sml index 50c4b387..d8baf07e 100644 --- a/src/mono_shake.sml +++ b/src/mono_shake.sml @@ -70,6 +70,7 @@ fun shake file = 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 @@ fun shake file = | ((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 @@ fun shake file = | (DCookie _, _) => true | (DStyle _, _) => true | (DTask _, _) => true - | (DPolicy _, _) => true) file + | (DPolicy _, _) => true + | (DOnError _, _) => true) file end end |