Mercurial > urweb
view demo/url.ur @ 1516:c4f39b49aa2d
A few more tweaks to support Clang (including ending use of nested functions)
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 23 Jul 2011 16:27:04 -0400 |
parents | 412ccd97ab71 |
children |
line wrap: on
line source
fun yourChoice r = return <xml><body> {case checkUrl r.Url of None => <xml>You aren't allowed to link to there.</xml> | Some url => <xml><a href={url}>Enjoy!</a></xml>} </body></xml> fun main () = return <xml><body> <a href="http://en.wikipedia.org/wiki/Type_inference">Learn something</a><br/> <br/> <form> URL of your choice: <textbox{#Url}/> <submit action={yourChoice}/> </form> </body></xml>