summaryrefslogtreecommitdiff
path: root/tests/update.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-09-07 13:51:07 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-09-07 13:51:07 -0400
commitee9276cde468bbf4f2ffa0cdad046501059bc4b9 (patch)
treea6bcef273eb9b4638f01f1aa99fe867de2be7c5e /tests/update.ur
parent725ce6746ebcd76fc3a8c7aa3248805493d71fa0 (diff)
Elaborated 'update'
Diffstat (limited to 'tests/update.ur')
-rw-r--r--tests/update.ur5
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/update.ur b/tests/update.ur
new file mode 100644
index 00000000..25efa348
--- /dev/null
+++ b/tests/update.ur
@@ -0,0 +1,5 @@
+table t1 : {A : int, B : string, C : float, D : bool}
+
+fun main () : transaction page =
+ () <- dml (update {B = "6", C = 7.0} t1 (WHERE T.A = 5));
+ return <html><body>Updated.</body></html>