Mercurial > urweb
annotate tests/sqliteTime.ur @ 1952:cf7f7e51b0a2
Add some URL-related benignEffectful functions
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Wed, 01 Jan 2014 10:51:47 -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> |