diff options
author | Adam Chlipala <adam@chlipala.net> | 2010-12-20 13:22:44 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2010-12-20 13:22:44 -0500 |
commit | 4bc1a8c05882a381f7e6725447cc67025058ff13 (patch) | |
tree | 021c30b2de4116401239e0dd59f0844a99e92e07 /tests/sqliteTime.ur | |
parent | 0da748d58cbbb8ad4cf756c834195c329876f44c (diff) |
Use proper string time format for SQLite
Diffstat (limited to 'tests/sqliteTime.ur')
-rw-r--r-- | tests/sqliteTime.ur | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/tests/sqliteTime.ur b/tests/sqliteTime.ur new file mode 100644 index 00000000..427b5e0f --- /dev/null +++ b/tests/sqliteTime.ur @@ -0,0 +1,14 @@ +table dates : { Date : time } + +fun aform () = + let + val a : time = readError "01/02/03 04:06:07" + in + dml(INSERT INTO dates (Date) VALUES ({[a]})); + ds <- queryX (SELECT * FROM dates) + (fn r => <xml>{[r.Dates.Date]}<br/></xml>); + return <xml><body>{ds}</body></xml> + end + +fun main () = + return <xml><body><form><submit action={aform}/></form></body></xml> |