Mercurial > urweb
annotate tests/millis.ur @ 2160:72fe1cc704c5
Tag NULLs with their types in SQL, to help the DBMS do type inference
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sat, 04 Jul 2015 19:24:26 -0400 |
| 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> |