comparison 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
comparison
equal deleted inserted replaced
439:322c8620bbdf 440:19d7f79cd584
5 5
6 fun main () = 6 fun main () =
7 dml (INSERT INTO t (Id, Time) VALUES (42, {now})); 7 dml (INSERT INTO t (Id, Time) VALUES (42, {now}));
8 xml <- queryX (SELECT * FROM t) 8 xml <- queryX (SELECT * FROM t)
9 (fn r => <xml>{[r.T.Id]}: {[r.T.Time]}<br/></xml>); 9 (fn r => <xml>{[r.T.Id]}: {[r.T.Time]}<br/></xml>);
10 minMax <- oneRow (SELECT MIN(t.Time) AS Min, MAX(t.Time) AS Max FROM t);
10 return <xml><body> 11 return <xml><body>
11 {xml} 12 {xml}
12 {[now]}, {[now = now]}, {[now = later]}, {[later < now]}, {[now < later]} 13 {[now]}, {[now = now]}, {[now = later]}, {[later < now]}, {[now < later]}<br/>
14 {[minMax.Min]}, {[minMax.Max]}
13 </body></xml> 15 </body></xml>