diff tests/time.ur @ 440:19d7f79cd584

Time MIN/MAX
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Oct 2008 15:16:37 -0400
parents 322c8620bbdf
children c5335613f31e
line wrap: on
line diff
--- a/tests/time.ur	Thu Oct 30 15:11:37 2008 -0400
+++ b/tests/time.ur	Thu Oct 30 15:16:37 2008 -0400
@@ -7,7 +7,9 @@
     dml (INSERT INTO t (Id, Time) VALUES (42, {now}));
     xml <- queryX (SELECT * FROM t)
            (fn r => <xml>{[r.T.Id]}: {[r.T.Time]}<br/></xml>);
+    minMax <- oneRow (SELECT MIN(t.Time) AS Min, MAX(t.Time) AS Max FROM t);
     return <xml><body>
       {xml}
-      {[now]}, {[now = now]}, {[now = later]}, {[later < now]}, {[now < later]}
+      {[now]}, {[now = now]}, {[now = later]}, {[later < now]}, {[now < later]}<br/>
+      {[minMax.Min]}, {[minMax.Max]}
     </body></xml>