diff src/tag.sml @ 1754:a1380fc15cb5

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
line wrap: on
line diff
--- a/src/tag.sml	Sun May 06 15:34:10 2012 -0400
+++ b/src/tag.sml	Sun May 06 15:46:25 2012 -0400
@@ -110,19 +110,23 @@
              (EApp (
               (EApp (
                (EApp (
-                (ECApp (
-                 (ECApp (
+                (EApp (
+                 (EApp (
                   (ECApp (
                    (ECApp (
                     (ECApp (
                      (ECApp (
                       (ECApp (
                        (ECApp (
-                        (EFfi ("Basis", "tag"),
-                         loc), given), _), absent), _), outer), _), inner), _),
-                    useOuter), _), useInner), _), bindOuter), _), bindInner), _),
-                class), _),
-               dynClass), _),
+                        (ECApp (
+                         (ECApp (
+                          (EFfi ("Basis", "tag"),
+                           loc), given), _), absent), _), outer), _), inner), _),
+                      useOuter), _), useInner), _), bindOuter), _), bindInner), _),
+                  class), _),
+                 dynClass), _),
+                style), _),
+               dynStyle), _),
               attrs), _),
              tag), _),
             xml) =>
@@ -152,18 +156,20 @@
                        (EApp (
                         (EApp (
                          (EApp (
-                          (ECApp (
-                           (ECApp (
+                          (EApp (
+                           (EApp (
                             (ECApp (
                              (ECApp (
                               (ECApp (
                                (ECApp (
                                 (ECApp (
                                  (ECApp (
-                                  (EFfi ("Basis", "tag"),
-                                   loc), given), loc), absent), loc), outer), loc), inner), loc),
-                              useOuter), loc), useInner), loc), bindOuter), loc), bindInner), loc),
-                          class), loc), dynClass), loc),
+                                  (ECApp (
+                                   (ECApp (
+                                    (EFfi ("Basis", "tag"),
+                                     loc), given), loc), absent), loc), outer), loc), inner), loc),
+                                useOuter), loc), useInner), loc), bindOuter), loc), bindInner), loc),
+                            class), loc), dynClass), loc), style), loc), dynStyle), loc),
                         (ERecord xets, loc)), loc),
                        tag), loc),
                       xml), s)