changeset 1476:3bef8d50b4d6

Add rowspan attribute to td,th elements.
author Karn Kallio <kkallio@eka>
date Wed, 22 Jun 2011 13:58:43 -0430
parents b703b375c3c0
children d65387bdc557
files lib/ur/basis.urs
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/lib/ur/basis.urs	Thu Jun 23 00:01:52 2011 -0430
+++ b/lib/ur/basis.urs	Wed Jun 22 13:58:43 2011 -0430
@@ -824,10 +824,10 @@
   -> tag tableAttrs
          ([Body, Table] ++ other) ([Body, Tr] ++ other) [] []
 val th : other ::: {Unit} -> [other ~ [Body, Tr]] => unit
-  -> tag ([Colspan = int] ++ tableAttrs)
+  -> tag ([Colspan = int, Rowspan = int] ++ tableAttrs)
          ([Body, Tr] ++ other) ([Body] ++ other) [] []
 val td : other ::: {Unit} -> [other ~ [Body, Tr]] => unit
-  -> tag ([Colspan = int] ++ tableAttrs)
+  -> tag ([Colspan = int, Rowspan = int] ++ tableAttrs)
          ([Body, Tr] ++ other) ([Body] ++ other) [] []