Mercurial > urweb

diff lib/ur/basis.urs @ 1358:32c8a3509369

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.cdataChar
author Adam Chlipala <adam@chlipala.net>
date Tue, 21 Dec 2010 18:01:23 -0500
parents a0f0823a54a0
children e525ad571e15
line wrap: on
line diff
--- a/lib/ur/basis.urs	Tue Dec 21 17:01:51 2010 -0500
+++ b/lib/ur/basis.urs	Tue Dec 21 18:01:23 2010 -0500
@@ -575,6 +575,7 @@
 
 con xml :: {Unit} -> {Type} -> {Type} -> Type
 val cdata : ctx ::: {Unit} -> use ::: {Type} -> string -> xml ctx use []
+val cdataChar : ctx ::: {Unit} -> use ::: {Type} -> char -> xml ctx use []
 val tag : attrsGiven ::: {Type} -> attrsAbsent ::: {Type}
           -> ctxOuter ::: {Unit} -> ctxInner ::: {Unit}
           -> useOuter ::: {Type} -> useInner ::: {Type}