Mercurial > urweb
comparison src/shake.sml @ 718:f152f215a02c
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 |