annotate tests/millis.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 225b87d4a7df
children
rev   line source
adam@1685 1 fun diffThem tm =
adam@1685 2 tm' <- now;
adam@1685 3 return <xml><body>
adam@1685 4 Diff: {[diffInMilliseconds tm tm']}
adam@1685 5 </body></xml>
adam@1685 6
adam@1685 7 fun main () : transaction page =
adam@1685 8 tm <- now;
adam@1685 9
adam@1685 10 return <xml><body>
adam@1685 11 Now: {[toMilliseconds tm]}<br/>
adam@1685 12 <a link={diffThem tm}>Diff</a><br/>
adam@1685 13
adam@1685 14 <button onclick={tm' <- now;
adam@1685 15 alert ("Now: " ^ show (toMilliseconds tm'));
adam@1685 16 alert ("Diff: " ^ show (diffInMilliseconds tm tm'))}/>
adam@1685 17 </body></xml>