From 17ecbd235ad9b7692dfc029329fb13103eb55d9c Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Tue, 21 Dec 2010 18:01:23 -0500
Subject: Basis.cdataChar

---
 lib/ur/basis.urs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib')

diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 9fa37c5d..025e4281 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -575,6 +575,7 @@ con tag :: {Type} -> {Unit} -> {Unit} -> {Type} -> {Type} -> Type
 
 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}
-- 
cgit v1.2.3