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