Mercurial > urweb
comparison 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 |
comparison
equal
deleted
inserted
replaced
1293:acabf3935060 | 1294:b4480a56cab7 |
---|---|
68 | PolUpdate e1 => e1 | 68 | PolUpdate e1 => e1 |
69 | PolSequence e1 => e1 | 69 | PolSequence e1 => e1 |
70 in | 70 in |
71 usedVars st e1 | 71 usedVars st e1 |
72 end | 72 end |
73 | ((DOnError n, _), (page_cs, page_es)) => (page_cs, IS.add (page_es, n)) | |
73 | (_, st) => st) (IS.empty, IS.empty) file | 74 | (_, st) => st) (IS.empty, IS.empty) file |
74 | 75 |
75 val (cdef, edef) = foldl (fn ((DDatatype dts, _), (cdef, edef)) => | 76 val (cdef, edef) = foldl (fn ((DDatatype dts, _), (cdef, edef)) => |
76 (foldl (fn ((_, n, xncs), cdef) => IM.insert (cdef, n, xncs)) cdef dts, edef) | 77 (foldl (fn ((_, n, xncs), cdef) => IM.insert (cdef, n, xncs)) cdef dts, edef) |
77 | ((DVal (_, n, t, e, _), _), (cdef, edef)) => | 78 | ((DVal (_, n, t, e, _), _), (cdef, edef)) => |
85 | ((DDatabase _, _), acc) => acc | 86 | ((DDatabase _, _), acc) => acc |
86 | ((DJavaScript _, _), acc) => acc | 87 | ((DJavaScript _, _), acc) => acc |
87 | ((DCookie _, _), acc) => acc | 88 | ((DCookie _, _), acc) => acc |
88 | ((DStyle _, _), acc) => acc | 89 | ((DStyle _, _), acc) => acc |
89 | ((DTask _, _), acc) => acc | 90 | ((DTask _, _), acc) => acc |
90 | ((DPolicy _, _), acc) => acc) | 91 | ((DPolicy _, _), acc) => acc |
92 | ((DOnError _, _), acc) => acc) | |
91 (IM.empty, IM.empty) file | 93 (IM.empty, IM.empty) file |
92 | 94 |
93 fun typ (c, s) = | 95 fun typ (c, s) = |
94 case c of | 96 case c of |
95 TDatatype (n, _) => | 97 TDatatype (n, _) => |
153 | (DDatabase _, _) => true | 155 | (DDatabase _, _) => true |
154 | (DJavaScript _, _) => true | 156 | (DJavaScript _, _) => true |
155 | (DCookie _, _) => true | 157 | (DCookie _, _) => true |
156 | (DStyle _, _) => true | 158 | (DStyle _, _) => true |
157 | (DTask _, _) => true | 159 | (DTask _, _) => true |
158 | (DPolicy _, _) => true) file | 160 | (DPolicy _, _) => true |
161 | (DOnError _, _) => true) file | |
159 end | 162 end |
160 | 163 |
161 end | 164 end |