Mercurial > urweb
comparison src/mono_shake.sml @ 1075:0657e5adc938
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 |