annotate tests/ctextbox.ur @ 1215:360f1ed0a969

Implemented proper congruence closure, to the point where tests/policy works
author Adam Chlipala <adamc@hcoop.net>
date Thu, 08 Apr 2010 12:46:21 -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>