# HG changeset patch # User Adam Chlipala # Date 1220809962 14400 # Node ID 54282db31a9bfb3342cd700cdb92936d6faea03a # Parent cde1ec47f3afac606b22f70e0cb0e31b97830fe9 Elaborated 'delete' diff -r cde1ec47f3af -r 54282db31a9b tests/delete.ur --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/delete.ur Sun Sep 07 13:52:42 2008 -0400 @@ -0,0 +1,5 @@ +table t1 : {A : int, B : string, C : float, D : bool} + +fun main () : transaction page = + () <- dml (delete t1 (WHERE T.A = 5)); + return Deleted. diff -r cde1ec47f3af -r 54282db31a9b tests/delete.urp --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/delete.urp Sun Sep 07 13:52:42 2008 -0400 @@ -0,0 +1,6 @@ +debug +database dbname=test +exe /tmp/webapp +sql /tmp/urweb.sql + +delete