annotate tests/ctextbox.ur @ 1276:5b5c0b552f59

Another run of Specialize, using ReduceLocal on datatype parameters
author Adam Chlipala <adamc@hcoop.net>
date Sat, 05 Jun 2010 09:42:37 -0400
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>