annotate demo/url.ur @ 1169:420e38516dc2

Normalize URLs to deal with page names that contain apostrophes
author Adam Chlipala <adamc@hcoop.net>
date Thu, 25 Feb 2010 15:08:52 -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>