Mercurial > urweb
comparison tests/timestamp.ur @ 1834:690638bd9fef
Fix generation of timestamp literals for MySQL and SQLite
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Fri, 30 Nov 2012 09:50:00 -0500 |
| parents | |
| children |
comparison
equal
deleted
inserted
replaced
| 1833:be0c4e2e488a | 1834:690638bd9fef |
|---|---|
| 1 table t : { A : time } | |
| 2 | |
| 3 fun many ls = | |
| 4 case ls of | |
| 5 [] => (WHERE TRUE) | |
| 6 | tm :: ls' => (WHERE t.A = {[tm]} AND {many ls'}) | |
| 7 | |
| 8 task initialize = fn () => | |
| 9 tm <- now; | |
| 10 dml (DELETE FROM t WHERE {many (tm :: [])}) | |
| 11 |