Mercurial > urweb
annotate tests/millis.ur @ 1886:b7cd3c7c7edd
Interpret 'table' signature items more flexibly, automatically adding (Ur) constraints to support a kind of subtyping over (SQL) constraint sets
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Mon, 04 Nov 2013 15:14:23 -0500 |
| parents | 225b87d4a7df |
| children |
| rev | line source |
|---|---|
| adam@1685 | 1 fun diffThem tm = |
| adam@1685 | 2 tm' <- now; |
| adam@1685 | 3 return <xml><body> |
| adam@1685 | 4 Diff: {[diffInMilliseconds tm tm']} |
| adam@1685 | 5 </body></xml> |
| adam@1685 | 6 |
| adam@1685 | 7 fun main () : transaction page = |
| adam@1685 | 8 tm <- now; |
| adam@1685 | 9 |
| adam@1685 | 10 return <xml><body> |
| adam@1685 | 11 Now: {[toMilliseconds tm]}<br/> |
| adam@1685 | 12 <a link={diffThem tm}>Diff</a><br/> |
| adam@1685 | 13 |
| adam@1685 | 14 <button onclick={tm' <- now; |
| adam@1685 | 15 alert ("Now: " ^ show (toMilliseconds tm')); |
| adam@1685 | 16 alert ("Diff: " ^ show (diffInMilliseconds tm tm'))}/> |
| adam@1685 | 17 </body></xml> |