annotate tests/url.ur @ 2062:795b5b75453c

Add 'role' data attribute. Note, that 'role' attribute is a part of reach ARIA API described here: http://www.w3.org/TR/wai-aria/ Among 'role', it defines lots of aria-* attributes
author Sergey Mironov <grrwlf@gmail.com>
date Mon, 07 Jul 2014 10:05:04 +0400
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>