Mercurial > urweb
annotate tests/sqliteTime.ur @ 2123:1218daa14279
Document new infix operators
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 05 Mar 2015 14:58:34 -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> |