comparison tests/sqliteTime.ur @ 1352:703c2c94afd5

Use proper string time format for SQLite
author Adam Chlipala <adam@chlipala.net>
date Mon, 20 Dec 2010 13:22:44 -0500
parents
children
comparison
equal deleted inserted replaced
1351:74d35d9a5d16 1352:703c2c94afd5
1 table dates : { Date : time }
2
3 fun aform () =
4 let
5 val a : time = readError "01/02/03 04:06:07"
6 in
7 dml(INSERT INTO dates (Date) VALUES ({[a]}));
8 ds <- queryX (SELECT * FROM dates)
9 (fn r => <xml>{[r.Dates.Date]}<br/></xml>);
10 return <xml><body>{ds}</body></xml>
11 end
12
13 fun main () =
14 return <xml><body><form><submit action={aform}/></form></body></xml>