diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-09-13 20:15:30 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-13 20:15:30 -0400 |
| commit | 0faed8b64498534297bd797108b659802815aefc (patch) | |
| tree | 30fae6d25a85af9fcf9b87c425788c9e042c46c2 /tests/crud.ur | |
| parent | b145e03e5e25cfd59f544312efe3ea93e265a8ce (diff) | |
Deletion for Crud
Diffstat (limited to 'tests/crud.ur')
| -rw-r--r-- | tests/crud.ur | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/tests/crud.ur b/tests/crud.ur index c596eaad..75136226 100644 --- a/tests/crud.ur +++ b/tests/crud.ur @@ -14,6 +14,18 @@ end) = struct open constraints M val tab = M.tab +fun delete (id : int) = + () <- dml (DELETE FROM tab WHERE Id = {id}); + return <html><body> + The deed is done. + </body></html> + +fun confirm (id : int) = return <html><body> + <p>Are you sure you want to delete ID #{txt _ id}?</p> + + <p><a link={delete id}>I was born sure!</a></p> +</body></html> + fun main () : transaction page = rows <- queryX (SELECT * FROM tab AS T) (fn (fs : {T : $([Id = int] ++ M.cols)}) => <body> @@ -26,6 +38,7 @@ fun main () : transaction page = <td>{col.Show v}</td> </tr>) [M.cols] (fs.T -- #Id) M.cols} + <td><a link={confirm fs.T.Id}>[Delete]</a></td> </tr> </body>); return <html><head> |