Mercurial > urweb
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> |