summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-09-07 13:52:42 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-09-07 13:52:42 -0400
commit071f5b9a8c042414e427d72142c078a64cf9b0d7 (patch)
tree8c76f579c10ab99fd7e5c6c3199b771b880a0554 /tests
parentee9276cde468bbf4f2ffa0cdad046501059bc4b9 (diff)
Elaborated 'delete'
Diffstat (limited to 'tests')
-rw-r--r--tests/delete.ur5
-rw-r--r--tests/delete.urp6
2 files changed, 11 insertions, 0 deletions
diff --git a/tests/delete.ur b/tests/delete.ur
new file mode 100644
index 00000000..45df15ab
--- /dev/null
+++ b/tests/delete.ur
@@ -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 <html><body>Deleted.</body></html>
diff --git a/tests/delete.urp b/tests/delete.urp
new file mode 100644
index 00000000..61ed0224
--- /dev/null
+++ b/tests/delete.urp
@@ -0,0 +1,6 @@
+debug
+database dbname=test
+exe /tmp/webapp
+sql /tmp/urweb.sql
+
+delete