Mercurial > urweb
comparison src/shake.sml @ 720:acb8537f58f0
Stop tracking CSS classes in XML types
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 12 Apr 2009 12:31:54 -0400 |
parents | f152f215a02c |
children | 8688e01ae469 |
comparison
equal
deleted
inserted
replaced
719:5c099b1308ae | 720:acb8537f58f0 |
---|---|
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))) | 89 (cdef, IM.insert (edef, n, ([], c, dummye))) |
90 | ((DStyle (_, n, c, _), _), (cdef, edef)) => | 90 | ((DStyle (_, n, _), _), (cdef, edef)) => |
91 (cdef, IM.insert (edef, n, ([], c, dummye)))) | 91 (cdef, IM.insert (edef, n, ([], dummyt, dummye)))) |
92 (IM.empty, IM.empty) file | 92 (IM.empty, IM.empty) file |
93 | 93 |
94 fun kind (_, s) = s | 94 fun kind (_, s) = s |
95 | 95 |
96 fun con (c, s) = | 96 fun con (c, s) = |