annotate tests/url.ur @ 2292:23eaec04e0f8

Ran a benchmark!
author Ziv Scully <ziv@mit.edu>
date Tue, 17 Nov 2015 04:08:12 -0500
parents c125df6fabfc
children
rev   line source
adamc@717 1 fun readersChoice r = return <xml><body>
adamc@770 2 {case checkUrl r.Url of
adamc@770 3 None => <xml>I can't do that, Dave.</xml>
adamc@770 4 | Some url => <xml><a href={url}>Your pick, boss</a></xml>}
adamc@717 5 </body></xml>
adamc@717 6
adamc@717 7 fun main () : transaction page = return <xml><body>
adamc@770 8 <a href="http://en.wikipedia.org/wiki/Wikipedia:About">Learn</a>
adamc@717 9 <br/>
adamc@717 10
adamc@717 11 <form><textbox{#Url}/> <submit action={readersChoice}/></form>
adamc@717 12 </body></xml>