diff tests/entities.ur @ 1592:1c9f8f06c1d6

Support the full set of XHTML character entities
author Adam Chlipala <adam@chlipala.net>
date Sat, 05 Nov 2011 15:05:13 -0400
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/entities.ur	Sat Nov 05 15:05:13 2011 -0400
@@ -0,0 +1,5 @@
+fun main () : transaction page = return <xml><body>
+  Hello world! &amp; so on, &copy; me today (8 &euro;)<br/>
+  &spades; &clubs; &hearts; &diams;<br/>
+  &dagger; DANGER &dagger;
+</body></xml>