annotate demo/url.ur @ 1140:ae818127a725

Remove a faulty time tweak from Postgres serialization
author Adam Chlipala <adamc@hcoop.net>
date Sat, 30 Jan 2010 13:39:39 -0500
parents 412ccd97ab71
children
rev   line source
adamc@774 1 fun yourChoice r = return <xml><body>
adamc@774 2 {case checkUrl r.Url of
adamc@774 3 None => <xml>You aren't allowed to link to there.</xml>
adamc@774 4 | Some url => <xml><a href={url}>Enjoy!</a></xml>}
adamc@774 5 </body></xml>
adamc@774 6
adamc@774 7 fun main () = return <xml><body>
adamc@774 8 <a href="http://en.wikipedia.org/wiki/Type_inference">Learn something</a><br/>
adamc@774 9 <br/>
adamc@774 10 <form>
adamc@774 11 URL of your choice: <textbox{#Url}/> <submit action={yourChoice}/>
adamc@774 12 </form>
adamc@774 13 </body></xml>