comparison demo/sql.ur @ 732:5819fb63c93a

Effectness analysis
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Apr 2009 15:29:39 -0400
parents 1a317a707d71
children
comparison
equal deleted inserted replaced
731:e0dd85ea58e1 732:5819fb63c93a
3 3
4 fun list () = 4 fun list () =
5 rows <- queryX (SELECT * FROM t) 5 rows <- queryX (SELECT * FROM t)
6 (fn row => <xml><tr> 6 (fn row => <xml><tr>
7 <td>{[row.T.A]}</td> <td>{[row.T.B]}</td> <td>{[row.T.C]}</td> <td>{[row.T.D]}</td> 7 <td>{[row.T.A]}</td> <td>{[row.T.B]}</td> <td>{[row.T.C]}</td> <td>{[row.T.D]}</td>
8 <td><a link={delete row.T.A}>[delete]</a></td> 8 <td><form><submit action={delete row.T.A} value="Delete"/></form></td>
9 </tr></xml>); 9 </tr></xml>);
10 return <xml> 10 return <xml>
11 <table border=1> 11 <table border=1>
12 <tr> <th>A</th> <th>B</th> <th>C</th> <th>D</th> </tr> 12 <tr> <th>A</th> <th>B</th> <th>C</th> <th>D</th> </tr>
13 {rows} 13 {rows}
34 <p>Row added.</p> 34 <p>Row added.</p>
35 35
36 {xml} 36 {xml}
37 </body></xml> 37 </body></xml>
38 38
39 and delete a = 39 and delete a () =
40 dml (DELETE FROM t 40 dml (DELETE FROM t
41 WHERE t.A = {[a]}); 41 WHERE t.A = {[a]});
42 xml <- list (); 42 xml <- list ();
43 return <xml><body> 43 return <xml><body>
44 <p>Row deleted.</p> 44 <p>Row deleted.</p>