annotate tests/show.ur @ 286:ffe5b01908ae

'show' type class; htmlification optimizations
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 10:48:51 -0400
parents
children
rev   line source
adamc@286 1 fun main () : transaction page = return <html><body>
adamc@286 2 6 = {cdata (show _ 6)}<br/>
adamc@286 3 12.34 = {cdata (show _ 12.34)}<br/>
adamc@286 4 Hi = {cdata (show _ "Hi")}<br/>
adamc@286 5 False = {cdata (show _ False)}<br/>
adamc@286 6 </body></html>