Mercurial > urweb

comparison src/shake.sml @ 754:8688e01ae469

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
A view query works
author Adam Chlipala <adamc@hcoop.net>
date Tue, 28 Apr 2009 15:04:37 -0400
parents acb8537f58f0
children 61a1f5c5ae2c
comparison
equal deleted inserted replaced
753:d484df4e841a 754:8688e01ae469
82 | ((DExport _, _), acc) => acc 82 | ((DExport _, _), acc) => acc
83 | ((DTable (_, n, c, _, _, _, _, _), _), (cdef, edef)) => 83 | ((DTable (_, n, c, _, _, _, _, _), _), (cdef, edef)) =>
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 | ((DView (_, n, _, _, c), _), (cdef, edef)) =>
88 (cdef, IM.insert (edef, n, ([], c, dummye)))
87 | ((DDatabase _, _), acc) => acc 89 | ((DDatabase _, _), acc) => acc
88 | ((DCookie (_, n, c, _), _), (cdef, edef)) => 90 | ((DCookie (_, n, c, _), _), (cdef, edef)) =>
89 (cdef, IM.insert (edef, n, ([], c, dummye))) 91 (cdef, IM.insert (edef, n, ([], c, dummye)))
90 | ((DStyle (_, n, _), _), (cdef, edef)) => 92 | ((DStyle (_, n, _), _), (cdef, edef)) =>
91 (cdef, IM.insert (edef, n, ([], dummyt, dummye)))) 93 (cdef, IM.insert (edef, n, ([], dummyt, dummye))))
157 List.filter (fn (DCon (_, n, _, _), _) => IS.member (#con s, n) 159 List.filter (fn (DCon (_, n, _, _), _) => IS.member (#con s, n)
158 | (DDatatype (_, n, _, _), _) => IS.member (#con s, n) 160 | (DDatatype (_, n, _, _), _) => IS.member (#con s, n)
159 | (DVal (_, n, _, _, _), _) => IS.member (#exp s, n) 161 | (DVal (_, n, _, _, _), _) => IS.member (#exp s, n)
160 | (DValRec vis, _) => List.exists (fn (_, n, _, _, _) => IS.member (#exp s, n)) vis 162 | (DValRec vis, _) => List.exists (fn (_, n, _, _, _) => IS.member (#exp s, n)) vis
161 | (DExport _, _) => true 163 | (DExport _, _) => true
164 | (DView _, _) => true
165 | (DSequence _, _) => true
162 | (DTable _, _) => true 166 | (DTable _, _) => true
163 | (DSequence _, _) => true
164 | (DDatabase _, _) => true 167 | (DDatabase _, _) => true
165 | (DCookie _, _) => true 168 | (DCookie _, _) => true
166 | (DStyle _, _) => true) file 169 | (DStyle _, _) => true) file
167 end 170 end
168 171