annotate tests/url.ur @ 2237:e79ef5792c8b

Fix bug in redundancy checking and use finer formula for UPDATE statements.
author Ziv Scully <ziv@mit.edu>
date Sun, 05 Jul 2015 23:57:28 -0700
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>