annotate tests/url.ur @ 719:5c099b1308ae

hello compiles with CSS
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Apr 2009 11:08:00 -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>