diff 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
line wrap: on
line diff
--- a/src/css.sml	Wed Dec 28 10:30:56 2011 -0500
+++ b/src/css.sml	Wed Dec 28 18:05:27 2011 -0500
@@ -144,7 +144,7 @@
                         (EApp (
                          (EApp (
                           (EApp (
-                           (ECApp (
+                           (EApp (
                             (ECApp (
                              (ECApp (
                               (ECApp (
@@ -152,9 +152,11 @@
                                 (ECApp (
                                  (ECApp (
                                   (ECApp (
-                                   (EFfi ("Basis", "tag"),
-                                    _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _),
-                           (ECon (_, _, _, SOME (ENamed class, _)), _)), _),
+                                   (ECApp (
+                                    (EFfi ("Basis", "tag"),
+                                     _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _),
+                            (ECon (_, _, _, SOME (ENamed class, _)), _)), _),
+                           _), _),
                           attrs), _),
                          tag), _),
                         xml) =>
@@ -182,7 +184,7 @@
                         (EApp (
                          (EApp (
                           (EApp (
-                           (ECApp (
+                           (EApp (
                             (ECApp (
                              (ECApp (
                               (ECApp (
@@ -190,8 +192,10 @@
                                 (ECApp (
                                  (ECApp (
                                   (ECApp (
-                                   (EFfi ("Basis", "tag"),
-                                    _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _),
+                                   (ECApp (
+                                    (EFfi ("Basis", "tag"),
+                                     _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _),
+                            _), _),
                            _), _),
                           attrs), _),
                          tag), _),