annotate demo/sql.ur @ 2023:e4051315263e

Fix a bug in demos with 'rewrite all'
author Adam Chlipala <adam@chlipala.net>
date Wed, 11 Jun 2014 13:56:00 -0400
parents 5819fb63c93a
children
rev   line source
adamc@410 1 table t : { A : int, B : float, C : string, D : bool }
adamc@708 2 PRIMARY KEY A
adamc@410 3
adamc@410 4 fun list () =
adamc@410 5 rows <- queryX (SELECT * FROM t)
adamc@410 6 (fn row => <xml><tr>
adamc@410 7 <td>{[row.T.A]}</td> <td>{[row.T.B]}</td> <td>{[row.T.C]}</td> <td>{[row.T.D]}</td>
adamc@732 8 <td><form><submit action={delete row.T.A} value="Delete"/></form></td>
adamc@410 9 </tr></xml>);
adamc@410 10 return <xml>
adamc@410 11 <table border=1>
adamc@410 12 <tr> <th>A</th> <th>B</th> <th>C</th> <th>D</th> </tr>
adamc@410 13 {rows}
adamc@410 14 </table>
adamc@410 15
adamc@410 16 <br/><hr/><br/>
adamc@410 17
adamc@410 18 <form>
adamc@410 19 <table>
adamc@410 20 <tr> <th>A:</th> <td><textbox{#A}/></td> </tr>
adamc@410 21 <tr> <th>B:</th> <td><textbox{#B}/></td> </tr>
adamc@410 22 <tr> <th>C:</th> <td><textbox{#C}/></td> </tr>
adamc@410 23 <tr> <th>D:</th> <td><checkbox{#D}/></td> </tr>
adamc@410 24 <tr> <th/> <td><submit action={add} value="Add Row"/></td> </tr>
adamc@410 25 </table>
adamc@410 26 </form>
adamc@410 27 </xml>
adamc@410 28
adamc@410 29 and add r =
adamc@434 30 dml (INSERT INTO t (A, B, C, D)
adamc@471 31 VALUES ({[readError r.A]}, {[readError r.B]}, {[r.C]}, {[r.D]}));
adamc@410 32 xml <- list ();
adamc@410 33 return <xml><body>
adamc@410 34 <p>Row added.</p>
adamc@410 35
adamc@410 36 {xml}
adamc@410 37 </body></xml>
adamc@410 38
adamc@732 39 and delete a () =
adamc@434 40 dml (DELETE FROM t
adamc@471 41 WHERE t.A = {[a]});
adamc@410 42 xml <- list ();
adamc@410 43 return <xml><body>
adamc@410 44 <p>Row deleted.</p>
adamc@410 45
adamc@410 46 {xml}
adamc@410 47 </body></xml>
adamc@410 48
adamc@410 49 fun main () =
adamc@410 50 xml <- list ();
adamc@410 51 return <xml><body>
adamc@410 52 {xml}
adamc@410 53 </body></xml>