Mercurial > urweb

comparison src/mono_shake.sml @ 1075:0657e5adc938

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Convert to task syntax
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Dec 2009 10:19:05 -0500
parents b2311dfb3158
children 72670131dace
comparison
equal deleted inserted replaced
1074:d89f98f0b4bb 1075:0657e5adc938
55 val (page_cs, page_es) = 55 val (page_cs, page_es) =
56 List.foldl 56 List.foldl
57 (fn ((DExport (_, _, n, _, _), _), (page_cs, page_es)) => (page_cs, IS.add (page_es, n)) 57 (fn ((DExport (_, _, n, _, _), _), (page_cs, page_es)) => (page_cs, IS.add (page_es, n))
58 | ((DDatabase {expunge = n1, initialize = n2, ...}, _), (page_cs, page_es)) => 58 | ((DDatabase {expunge = n1, initialize = n2, ...}, _), (page_cs, page_es)) =>
59 (page_cs, IS.addList (page_es, [n1, n2])) 59 (page_cs, IS.addList (page_es, [n1, n2]))
60 | ((DInitializer e, _), st) => usedVars st e 60 | ((DTask (e1, e2), _), st) => usedVars (usedVars st e2) e1
61 | (_, st) => st) (IS.empty, IS.empty) file 61 | (_, st) => st) (IS.empty, IS.empty) file
62 62
63 val (cdef, edef) = foldl (fn ((DDatatype dts, _), (cdef, edef)) => 63 val (cdef, edef) = foldl (fn ((DDatatype dts, _), (cdef, edef)) =>
64 (foldl (fn ((_, n, xncs), cdef) => IM.insert (cdef, n, xncs)) cdef dts, edef) 64 (foldl (fn ((_, n, xncs), cdef) => IM.insert (cdef, n, xncs)) cdef dts, edef)
65 | ((DVal (_, n, t, e, _), _), (cdef, edef)) => 65 | ((DVal (_, n, t, e, _), _), (cdef, edef)) =>
72 | ((DView _, _), acc) => acc 72 | ((DView _, _), acc) => acc
73 | ((DDatabase _, _), acc) => acc 73 | ((DDatabase _, _), acc) => acc
74 | ((DJavaScript _, _), acc) => acc 74 | ((DJavaScript _, _), acc) => acc
75 | ((DCookie _, _), acc) => acc 75 | ((DCookie _, _), acc) => acc
76 | ((DStyle _, _), acc) => acc 76 | ((DStyle _, _), acc) => acc
77 | ((DInitializer _, _), acc) => acc) 77 | ((DTask _, _), acc) => acc)
78 (IM.empty, IM.empty) file 78 (IM.empty, IM.empty) file
79 79
80 fun typ (c, s) = 80 fun typ (c, s) =
81 case c of 81 case c of
82 TDatatype (n, _) => 82 TDatatype (n, _) =>
139 | (DView _, _) => true 139 | (DView _, _) => true
140 | (DDatabase _, _) => true 140 | (DDatabase _, _) => true
141 | (DJavaScript _, _) => true 141 | (DJavaScript _, _) => true
142 | (DCookie _, _) => true 142 | (DCookie _, _) => true
143 | (DStyle _, _) => true 143 | (DStyle _, _) => true
144 | (DInitializer _, _) => true) file 144 | (DTask _, _) => true) file
145 end 145 end
146 146
147 end 147 end