Mercurial > urweb

comparison src/mono_shake.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 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