Mercurial > urweb

comparison src/tag.sml @ 1754:a1380fc15cb5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix bugs in support for 'style' and 'dynStyle'
author Adam Chlipala <adam@chlipala.net>
date Sun, 06 May 2012 15:46:25 -0400
parents 0577be31a435
children 6745eafff617
comparison
equal deleted inserted replaced
1753:957168662198 1754:a1380fc15cb5
108 EApp ( 108 EApp (
109 (EApp ( 109 (EApp (
110 (EApp ( 110 (EApp (
111 (EApp ( 111 (EApp (
112 (EApp ( 112 (EApp (
113 (ECApp ( 113 (EApp (
114 (ECApp ( 114 (EApp (
115 (ECApp ( 115 (ECApp (
116 (ECApp ( 116 (ECApp (
117 (ECApp ( 117 (ECApp (
118 (ECApp ( 118 (ECApp (
119 (ECApp ( 119 (ECApp (
120 (ECApp ( 120 (ECApp (
121 (EFfi ("Basis", "tag"), 121 (ECApp (
122 loc), given), _), absent), _), outer), _), inner), _), 122 (ECApp (
123 useOuter), _), useInner), _), bindOuter), _), bindInner), _), 123 (EFfi ("Basis", "tag"),
124 class), _), 124 loc), given), _), absent), _), outer), _), inner), _),
125 dynClass), _), 125 useOuter), _), useInner), _), bindOuter), _), bindInner), _),
126 class), _),
127 dynClass), _),
128 style), _),
129 dynStyle), _),
126 attrs), _), 130 attrs), _),
127 tag), _), 131 tag), _),
128 xml) => 132 xml) =>
129 (case attrs of 133 (case attrs of
130 (ERecord xets, _) => 134 (ERecord xets, _) =>
150 (EApp ( 154 (EApp (
151 (EApp ( 155 (EApp (
152 (EApp ( 156 (EApp (
153 (EApp ( 157 (EApp (
154 (EApp ( 158 (EApp (
155 (ECApp ( 159 (EApp (
156 (ECApp ( 160 (EApp (
157 (ECApp ( 161 (ECApp (
158 (ECApp ( 162 (ECApp (
159 (ECApp ( 163 (ECApp (
160 (ECApp ( 164 (ECApp (
161 (ECApp ( 165 (ECApp (
162 (ECApp ( 166 (ECApp (
163 (EFfi ("Basis", "tag"), 167 (ECApp (
164 loc), given), loc), absent), loc), outer), loc), inner), loc), 168 (ECApp (
165 useOuter), loc), useInner), loc), bindOuter), loc), bindInner), loc), 169 (EFfi ("Basis", "tag"),
166 class), loc), dynClass), loc), 170 loc), given), loc), absent), loc), outer), loc), inner), loc),
171 useOuter), loc), useInner), loc), bindOuter), loc), bindInner), loc),
172 class), loc), dynClass), loc), style), loc), dynStyle), loc),
167 (ERecord xets, loc)), loc), 173 (ERecord xets, loc)), loc),
168 tag), loc), 174 tag), loc),
169 xml), s) 175 xml), s)
170 end 176 end
171 | _ => (e, s)) 177 | _ => (e, s))