Mercurial > urweb
view tests/millis.ur @ 1838:6ec243437d12
Autogenerate some files
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Wed, 12 Dec 2012 16:42:15 -0500 |
parents | 225b87d4a7df |
children |
line wrap: on
line source
fun diffThem tm = tm' <- now; return <xml><body> Diff: {[diffInMilliseconds tm tm']} </body></xml> fun main () : transaction page = tm <- now; return <xml><body> Now: {[toMilliseconds tm]}<br/> <a link={diffThem tm}>Diff</a><br/> <button onclick={tm' <- now; alert ("Now: " ^ show (toMilliseconds tm')); alert ("Diff: " ^ show (diffInMilliseconds tm tm'))}/> </body></xml>