Mercurial > urweb

comparison lib/ur/basis.urs @ 1876:fdafa3f92e40

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add <dl> <dt> <dd> tags
author Sergey Mironov <grrwlf@gmail.com>
date Mon, 07 Oct 2013 14:08:53 +0400
parents 11d8e220f36f
children b44138e6a3bf 1e360ea06a09
comparison
equal deleted inserted replaced
1875:c44bfaa69dd8 1876:fdafa3f92e40
974 ([Tr] ++ other) ([Body] ++ other) [] [] 974 ([Tr] ++ other) ([Body] ++ other) [] []
975 val td : other ::: {Unit} -> [other ~ [Body, Tr]] => unit 975 val td : other ::: {Unit} -> [other ~ [Body, Tr]] => unit
976 -> tag ([Colspan = int, Rowspan = int] ++ tableAttrs) 976 -> tag ([Colspan = int, Rowspan = int] ++ tableAttrs)
977 ([Tr] ++ other) ([Body] ++ other) [] [] 977 ([Tr] ++ other) ([Body] ++ other) [] []
978 978
979 (** Definition lists *)
980
981 val dl : other ::: {Unit} -> [other ~ [Body,Dl]]
982 => unit
983 -> tag [] ([Body] ++ other) ([Dl] ++ other) [] []
984
985 val dt : other ::: {Unit} -> [other ~ [Body,Dl]]
986 => unit
987 -> tag [] ([Dl] ++ other) ([Body] ++ other) [] []
988
989 val dd : other ::: {Unit} -> [other ~ [Body,Dl]]
990 => unit
991 -> tag [] ([Dl] ++ other) ([Body] ++ other) [] []
979 992
980 (** Aborting *) 993 (** Aborting *)
981 994
982 val error : t ::: Type -> xbody -> t 995 val error : t ::: Type -> xbody -> t
983 996