Mercurial > urweb
view tests/millis.ur @ 2038:ec2c7a22df0d
Fix off-by-one error in less-safe FFI wrapper generation
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 13 Jul 2014 06:14:23 -0400 |
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>