diff tests/time.ur @ 439:322c8620bbdf

Marshaling time to SQL
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Oct 2008 15:11:37 -0400
parents 1c27f03d9bd2
children 19d7f79cd584
line wrap: on
line diff
--- a/tests/time.ur	Thu Oct 30 14:57:15 2008 -0400
+++ b/tests/time.ur	Thu Oct 30 15:11:37 2008 -0400
@@ -4,6 +4,7 @@
 val later : time = readError "10/30/08 14:37:42"
 
 fun main () =
+    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>);
     return <xml><body>