Mercurial > urweb
annotate tests/sqliteTime.ur @ 1968:2c075e875a47
Fix a subtle renaming problem in elaborating functor applications
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Fri, 14 Feb 2014 15:11:22 -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> |