annotate tests/ctextbox.ur @ 2082:1b76ae703cbb

Some more optimization of string expressions showing up in JSON generation (Meta library)
author Adam Chlipala <adam@chlipala.net>
date Wed, 03 Dec 2014 21:06:15 -0500
parents 983d9b38abc7
children
rev   line source
adamc@1173 1 style foo
adamc@1173 2
adamc@606 3 fun main () : transaction page =
adamc@606 4 s <- source "Initial";
adamc@1173 5 return <xml>
adamc@1173 6 <head>
adamc@1173 7 <link rel="stylesheet" type="text/css" href="http://localhost/static/style.css"/>
adamc@1173 8 </head>
adamc@1173 9 <body>
adamc@1173 10 <ctextbox source={s} size=5/>
adamc@1173 11 <ctextbox class={foo} source={s}/>
adamc@606 12
adamc@1173 13 <dyn signal={s <- signal s; return (cdata s)}/>
adamc@1173 14 </body>
adamc@1173 15 </xml>