From 0faed8b64498534297bd797108b659802815aefc Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 13 Sep 2008 20:15:30 -0400 Subject: Deletion for Crud --- tests/crud.ur | 13 +++++++++++++ 1 file changed, 13 insertions(+) (limited to 'tests/crud.ur') 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 + The deed is done. + + +fun confirm (id : int) = return +

Are you sure you want to delete ID #{txt _ id}?

+ +

+ + fun main () : transaction page = rows <- queryX (SELECT * FROM tab AS T) (fn (fs : {T : $([Id = int] ++ M.cols)}) => @@ -26,6 +38,7 @@ fun main () : transaction page = {col.Show v} ) [M.cols] (fs.T -- #Id) M.cols} + [Delete] ); return -- cgit v1.2.3