annotate tests/url.ur @ 1603:06958d5a7088

Don't treat comment-only lines as blank, in determining split point of .urp files
author Adam Chlipala <adam@chlipala.net>
date Sun, 20 Nov 2011 18:33:21 -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>