diff options
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/timestamp.ur | 11 | ||||
| -rw-r--r-- | tests/timestamp.urp | 5 |
2 files changed, 16 insertions, 0 deletions
diff --git a/tests/timestamp.ur b/tests/timestamp.ur new file mode 100644 index 00000000..56f030ed --- /dev/null +++ b/tests/timestamp.ur @@ -0,0 +1,11 @@ +table t : { A : time } + +fun many ls = + case ls of + [] => (WHERE TRUE) + | tm :: ls' => (WHERE t.A = {[tm]} AND {many ls'}) + +task initialize = fn () => + tm <- now; + dml (DELETE FROM t WHERE {many (tm :: [])}) + diff --git a/tests/timestamp.urp b/tests/timestamp.urp new file mode 100644 index 00000000..d07aa304 --- /dev/null +++ b/tests/timestamp.urp @@ -0,0 +1,5 @@ +database dbname=test +dbms mysql +sql timestamp.sql + +timestamp |