diff src/monoize.sml @ 903:63114a2e5075

<dyn> inside <tr>
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Aug 2009 14:57:44 -0400
parents f17638dd3080
children 7a4b026e45dd
line wrap: on
line diff
--- a/src/monoize.sml	Thu Aug 06 14:39:03 2009 -0400
+++ b/src/monoize.sml	Thu Aug 06 14:57:44 2009 -0400
@@ -2645,13 +2645,15 @@
 
                   | "dyn" =>
                     let
-                        val inTable = case targs of
-                                          (L.CRecord (_, ctx), _) :: _ =>
-                                          List.exists (fn ((L.CName "Table", _), _) => true
-                                                        | _ => false) ctx
-                                        | _ => false
+                        fun inTag tag = case targs of
+                                            (L.CRecord (_, ctx), _) :: _ =>
+                                            List.exists (fn ((L.CName tag', _), _) => tag' = tag
+                                                          | _ => false) ctx
+                                          | _ => false
                                                
-                        val tag = if inTable then
+                        val tag = if inTag "Tr" then
+                                      "tr"
+                                  else if inTag "Table" then
                                       "table"
                                   else
                                       "span"