Mercurial > gui
annotate examples/countdown.ur @ 26:86857ae0f386
Change more dashes to slashes, for JavaScript compatibility
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Fri, 09 Dec 2011 17:38:20 -0500 |
| parents | 2947170fcfd6 |
| children |
| rev | line source |
|---|---|
| adam@17 | 1 fun main () : transaction page = |
| adam@17 | 2 start <- now; |
| adam@17 | 3 deadline <- return (addSeconds start 60); |
| adam@17 | 4 cl <- Clock.create 500; |
| adam@17 | 5 return <xml><body onload={Clock.start cl}> |
| adam@17 | 6 <dyn signal={cl <- Clock.signal cl; |
| adam@17 | 7 return <xml> |
| adam@17 | 8 {[cl]}<br/> |
| adam@17 | 9 {if cl > deadline then |
| adam@17 | 10 <xml><b>Expired</b></xml> |
| adam@17 | 11 else |
| adam@17 | 12 <xml>{[diffInSeconds cl deadline]}</xml>} |
| adam@17 | 13 </xml>}/> |
| adam@17 | 14 </body></xml> |