Mercurial > urweb

comparison src/shake.sml @ 461:5c9606deacb6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cookies through shake2
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 10:48:02 -0500
parents 787d4931fb07
children 0dd40b6bfdf3
comparison
equal deleted inserted replaced
460:d34834af4512 461:5c9606deacb6
66 | ((DExport _, _), acc) => acc 66 | ((DExport _, _), acc) => acc
67 | ((DTable (_, n, c, _), _), (cdef, edef)) => 67 | ((DTable (_, n, c, _), _), (cdef, edef)) =>
68 (cdef, IM.insert (edef, n, ([], c, dummye))) 68 (cdef, IM.insert (edef, n, ([], c, dummye)))
69 | ((DSequence (_, n, _), _), (cdef, edef)) => 69 | ((DSequence (_, n, _), _), (cdef, edef)) =>
70 (cdef, IM.insert (edef, n, ([], dummyt, dummye))) 70 (cdef, IM.insert (edef, n, ([], dummyt, dummye)))
71 | ((DDatabase _, _), acc) => acc) 71 | ((DDatabase _, _), acc) => acc
72 | ((DCookie (_, n, c, _), _), (cdef, edef)) =>
73 (cdef, IM.insert (edef, n, ([], c, dummye))))
72 (IM.empty, IM.empty) file 74 (IM.empty, IM.empty) file
73 75
74 fun kind (_, s) = s 76 fun kind (_, s) = s
75 77
76 fun con (c, s) = 78 fun con (c, s) =
134 | (DVal (_, n, _, _, _), _) => IS.member (#exp s, n) 136 | (DVal (_, n, _, _, _), _) => IS.member (#exp s, n)
135 | (DValRec vis, _) => List.exists (fn (_, n, _, _, _) => IS.member (#exp s, n)) vis 137 | (DValRec vis, _) => List.exists (fn (_, n, _, _, _) => IS.member (#exp s, n)) vis
136 | (DExport _, _) => true 138 | (DExport _, _) => true
137 | (DTable _, _) => true 139 | (DTable _, _) => true
138 | (DSequence _, _) => true 140 | (DSequence _, _) => true
139 | (DDatabase _, _) => true) file 141 | (DDatabase _, _) => true
142 | (DCookie _, _) => true) file
140 end 143 end
141 144
142 end 145 end