comparison src/css.sml @ 1646:ca3b73a7b4d0

Get a few more source files up-to-date with change to [tag] type
author Adam Chlipala <adam@chlipala.net>
date Wed, 28 Dec 2011 18:05:27 -0500
parents b4480a56cab7
children 0577be31a435
comparison
equal deleted inserted replaced
1645:b71cc5ec59b3 1646:ca3b73a7b4d0
142 142
143 | EApp ( 143 | EApp (
144 (EApp ( 144 (EApp (
145 (EApp ( 145 (EApp (
146 (EApp ( 146 (EApp (
147 (ECApp ( 147 (EApp (
148 (ECApp ( 148 (ECApp (
149 (ECApp ( 149 (ECApp (
150 (ECApp ( 150 (ECApp (
151 (ECApp ( 151 (ECApp (
152 (ECApp ( 152 (ECApp (
153 (ECApp ( 153 (ECApp (
154 (ECApp ( 154 (ECApp (
155 (EFfi ("Basis", "tag"), 155 (ECApp (
156 _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), 156 (EFfi ("Basis", "tag"),
157 (ECon (_, _, _, SOME (ENamed class, _)), _)), _), 157 _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _),
158 (ECon (_, _, _, SOME (ENamed class, _)), _)), _),
159 _), _),
158 attrs), _), 160 attrs), _),
159 tag), _), 161 tag), _),
160 xml) => 162 xml) =>
161 let 163 let
162 val (sm, classes) = exp (xml, classes) 164 val (sm, classes) = exp (xml, classes)
180 182
181 | EApp ( 183 | EApp (
182 (EApp ( 184 (EApp (
183 (EApp ( 185 (EApp (
184 (EApp ( 186 (EApp (
185 (ECApp ( 187 (EApp (
186 (ECApp ( 188 (ECApp (
187 (ECApp ( 189 (ECApp (
188 (ECApp ( 190 (ECApp (
189 (ECApp ( 191 (ECApp (
190 (ECApp ( 192 (ECApp (
191 (ECApp ( 193 (ECApp (
192 (ECApp ( 194 (ECApp (
193 (EFfi ("Basis", "tag"), 195 (ECApp (
194 _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), 196 (EFfi ("Basis", "tag"),
197 _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _),
198 _), _),
195 _), _), 199 _), _),
196 attrs), _), 200 attrs), _),
197 tag), _), 201 tag), _),
198 xml) => 202 xml) =>
199 let 203 let