Mercurial > urweb
comparison lib/ur/basis.urs @ 1476:3bef8d50b4d6
Add rowspan attribute to td,th elements.
author | Karn Kallio <kkallio@eka> |
---|---|
date | Wed, 22 Jun 2011 13:58:43 -0430 |
parents | 2f5fd248588d |
children | d65387bdc557 |
comparison
equal
deleted
inserted
replaced
1475:b703b375c3c0 | 1476:3bef8d50b4d6 |
---|---|
822 ([Body] ++ other) ([Body, Table] ++ other) [] [] | 822 ([Body] ++ other) ([Body, Table] ++ other) [] [] |
823 val tr : other ::: {Unit} -> [other ~ [Body, Table, Tr]] => unit | 823 val tr : other ::: {Unit} -> [other ~ [Body, Table, Tr]] => unit |
824 -> tag tableAttrs | 824 -> tag tableAttrs |
825 ([Body, Table] ++ other) ([Body, Tr] ++ other) [] [] | 825 ([Body, Table] ++ other) ([Body, Tr] ++ other) [] [] |
826 val th : other ::: {Unit} -> [other ~ [Body, Tr]] => unit | 826 val th : other ::: {Unit} -> [other ~ [Body, Tr]] => unit |
827 -> tag ([Colspan = int] ++ tableAttrs) | 827 -> tag ([Colspan = int, Rowspan = int] ++ tableAttrs) |
828 ([Body, Tr] ++ other) ([Body] ++ other) [] [] | 828 ([Body, Tr] ++ other) ([Body] ++ other) [] [] |
829 val td : other ::: {Unit} -> [other ~ [Body, Tr]] => unit | 829 val td : other ::: {Unit} -> [other ~ [Body, Tr]] => unit |
830 -> tag ([Colspan = int] ++ tableAttrs) | 830 -> tag ([Colspan = int, Rowspan = int] ++ tableAttrs) |
831 ([Body, Tr] ++ other) ([Body] ++ other) [] [] | 831 ([Body, Tr] ++ other) ([Body] ++ other) [] [] |
832 | 832 |
833 | 833 |
834 (** Aborting *) | 834 (** Aborting *) |
835 | 835 |