Mercurial > urweb
view tests/millis.ur @ 1836:276fa06428ba
Ignore polymorphism in JavaScript calls to custom FFI functions, allowing a kind of simple dynamic typing (unsafe, of course)
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Tue, 11 Dec 2012 15:58:23 -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>