annotate tests/url.ur @ 1394:d328983dc5a6

Allow subqueries to reference aggregate-only columns of free tables; treat non-COUNT aggregate functions as possibly returning NULL
author Adam Chlipala <adam@chlipala.net>
date Sat, 15 Jan 2011 14:53:13 -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>