Ur/Web: tests/autocomp.ur annotate

Fix urlification of recursive polymorphic variants

author	Adam Chlipala <adam@chlipala.net>
date	Sat, 28 Apr 2012 11:35:12 -0400
parents	b2ca3e1e5b40
children

rev	line source
adam@1491	1 fun main () : transaction page =
adam@1491	2 a <- source "";
adam@1491	3 b <- source "";
adam@1491	4 return <xml><body>
adam@1491	5 <form>
adam@1491	6 <textbox{#A} source={a}/>
adam@1491	7 <button onclick={x <- get a; set b x}/>
adam@1491	8 <dyn signal={v <- signal a; return <xml>{[v]}</xml>}/>
adam@1491	9 / <dyn signal={v <- signal b; return <xml>{[v]}</xml>}/>
adam@1491	10 </form>
adam@1491	11 </body></xml>

Mercurial > urweb