Mercurial > urweb
annotate tests/sqliteTime.ur @ 1455:913d9c2f55c9
Corify Basis.unit to empty record; this is needed so that specialize
can see that they are equivalent.
| author | Karn Kallio <kkallio@eka> |
|---|---|
| date | Fri, 06 May 2011 16:24:45 -0430 |
| 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> |