Mercurial > urweb

comparison src/shake.sml @ 718:f152f215a02c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
style declarations
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Apr 2009 10:08:11 -0400
parents d8217b4cb617
children acb8537f58f0
comparison
equal deleted inserted replaced
717:e28637743279 718:f152f215a02c
84 (cdef, IM.insert (edef, n, ([], c, dummye))) 84 (cdef, IM.insert (edef, n, ([], c, dummye)))
85 | ((DSequence (_, n, _), _), (cdef, edef)) => 85 | ((DSequence (_, n, _), _), (cdef, edef)) =>
86 (cdef, IM.insert (edef, n, ([], dummyt, dummye))) 86 (cdef, IM.insert (edef, n, ([], dummyt, dummye)))
87 | ((DDatabase _, _), acc) => acc 87 | ((DDatabase _, _), acc) => acc
88 | ((DCookie (_, n, c, _), _), (cdef, edef)) => 88 | ((DCookie (_, n, c, _), _), (cdef, edef)) =>
89 (cdef, IM.insert (edef, n, ([], c, dummye)))
90 | ((DStyle (_, n, c, _), _), (cdef, edef)) =>
89 (cdef, IM.insert (edef, n, ([], c, dummye)))) 91 (cdef, IM.insert (edef, n, ([], c, dummye))))
90 (IM.empty, IM.empty) file 92 (IM.empty, IM.empty) file
91 93
92 fun kind (_, s) = s 94 fun kind (_, s) = s
93 95
158 | (DValRec vis, _) => List.exists (fn (_, n, _, _, _) => IS.member (#exp s, n)) vis 160 | (DValRec vis, _) => List.exists (fn (_, n, _, _, _) => IS.member (#exp s, n)) vis
159 | (DExport _, _) => true 161 | (DExport _, _) => true
160 | (DTable _, _) => true 162 | (DTable _, _) => true
161 | (DSequence _, _) => true 163 | (DSequence _, _) => true
162 | (DDatabase _, _) => true 164 | (DDatabase _, _) => true
163 | (DCookie _, _) => true) file 165 | (DCookie _, _) => true
166 | (DStyle _, _) => true) file
164 end 167 end
165 168
166 end 169 end