# HG changeset patch # User Adam Chlipala # Date 1398877554 14400 # Node ID d3a0f2b8af284cad7e54a76918e1dffc6ac5d006 # Parent c3b03d099e04d415f87b452e6f1818804ffdfdac , , diff -r c3b03d099e04 -r d3a0f2b8af28 lib/ur/basis.urs --- a/lib/ur/basis.urs Tue Apr 29 16:47:45 2014 -0400 +++ b/lib/ur/basis.urs Wed Apr 30 13:05:54 2014 -0400 @@ -992,6 +992,16 @@ -> tag ([Colspan = int, Rowspan = int] ++ tableAttrs) ([Tr] ++ other) ([Body] ++ other) [] [] +val thead : other ::: {Unit} -> [other ~ [Table]] => unit + -> tag tableAttrs + ([Table] ++ other) ([Table] ++ other) [] [] +val tbody : other ::: {Unit} -> [other ~ [Table]] => unit + -> tag tableAttrs + ([Table] ++ other) ([Table] ++ other) [] [] +val tfoot : other ::: {Unit} -> [other ~ [Table]] => unit + -> tag tableAttrs + ([Table] ++ other) ([Table] ++ other) [] [] + (** Definition lists *) val dl : other ::: {Unit} -> [other ~ [Body,Dl]] diff -r c3b03d099e04 -r d3a0f2b8af28 tests/thead.ur --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/thead.ur Wed Apr 30 13:05:54 2014 -0400 @@ -0,0 +1,16 @@ +fun main () : transaction page = return + + + + + + + + + + + + + +

A	B
1	2
3	4
C	D