Mercurial > urweb
annotate tests/sqliteTime.ur @ 1618:705cb41ac7d0
Update Coq semantics for 8.3pl2
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Wed, 30 Nov 2011 15:28:56 -0500 |
| parents | 703c2c94afd5 |
| children |
| rev | line source |
|---|---|
| adam@1352 | 1 table dates : { Date : time } |
| adam@1352 | 2 |
| adam@1352 | 3 fun aform () = |
| adam@1352 | 4 let |
| adam@1352 | 5 val a : time = readError "01/02/03 04:06:07" |
| adam@1352 | 6 in |
| adam@1352 | 7 dml(INSERT INTO dates (Date) VALUES ({[a]})); |
| adam@1352 | 8 ds <- queryX (SELECT * FROM dates) |
| adam@1352 | 9 (fn r => <xml>{[r.Dates.Date]}<br/></xml>); |
| adam@1352 | 10 return <xml><body>{ds}</body></xml> |
| adam@1352 | 11 end |
| adam@1352 | 12 |
| adam@1352 | 13 fun main () = |
| adam@1352 | 14 return <xml><body><form><submit action={aform}/></form></body></xml> |