Mercurial > urweb
diff tests/url.ur @ 717:e28637743279
URLs
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 09 Apr 2009 16:36:50 -0400 |
parents | |
children | c125df6fabfc |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/url.ur Thu Apr 09 16:36:50 2009 -0400 @@ -0,0 +1,13 @@ +val url = "http://www.yahoo.com/" + +fun readersChoice r = return <xml><body> + <a href={bless r.Url}>Your pick, boss</a> +</body></xml> + +fun main () : transaction page = return <xml><body> + <a href="http://www.google.com/">Google!</a> + <a href={bless url}>Yahoo!</a><br/> + <br/> + + <form><textbox{#Url}/> <submit action={readersChoice}/></form> +</body></xml>