Mercurial > urweb
view tests/millis.ur @ 1713:1b3f82b09bb0
Fix monoization of recursive variants
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Mon, 16 Apr 2012 09:07:28 -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>