# HG changeset patch
# User Karn Kallio <kkallio@eka>
# Date 1308767323 16200
# Node ID 3bef8d50b4d63a2598b2e5eaa21b69a78377b7cd
# Parent  b703b375c3c0b3964315cbbd59f8287c57e859fb
Add rowspan attribute to td,th elements.

diff -r b703b375c3c0 -r 3bef8d50b4d6 lib/ur/basis.urs
--- 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) [] []