Ur/Web: tests/url.ur annotate

Avoid thread death via message receive

author	Adam Chlipala <adamc@hcoop.net>
date	Thu, 16 Apr 2009 13:00:40 -0400
parents	e28637743279
children	c125df6fabfc

rev	line source
adamc@717	1 val url = "http://www.yahoo.com/"
adamc@717	2
adamc@717	3 fun readersChoice r = return <xml><body>
adamc@717	4 <a href={bless r.Url}>Your pick, boss</a>
adamc@717	5 </body></xml>
adamc@717	6
adamc@717	7 fun main () : transaction page = return <xml><body>
adamc@717	8 <a href="http://www.google.com/">Google!</a>
adamc@717	9 <a href={bless url}>Yahoo!</a><br/>
adamc@717	10 <br/>
adamc@717	11
adamc@717	12 <form><textbox{#Url}/> <submit action={readersChoice}/></form>
adamc@717	13 </body></xml>

Mercurial > urweb