Ur/Web: tests/ctextbox.ur annotate

Fix generation of normal datatypes from polymorphic variants

author	Adam Chlipala <adam@chlipala.net>
date	Sun, 29 Apr 2012 20:37:45 -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>

Mercurial > urweb