summaryrefslogtreecommitdiff
path: root/tests/pkey.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-04-07 16:14:31 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-04-07 16:14:31 -0400
commit26ad31287745567b98b357de9793a0e795c63334 (patch)
tree6fa2aa05d829b2b71c6e2d778b4898999992a00f /tests/pkey.ur
parent98370da7e9f70e3d83f666019b765e15f617b846 (diff)
PRIMARY KEY
Diffstat (limited to 'tests/pkey.ur')
-rw-r--r--tests/pkey.ur6
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/pkey.ur b/tests/pkey.ur
new file mode 100644
index 00000000..4efbd032
--- /dev/null
+++ b/tests/pkey.ur
@@ -0,0 +1,6 @@
+table t : {A : int, B : int}
+ PRIMARY KEY (A, B)
+
+fun main () : transaction page =
+ queryI (SELECT * FROM t) (fn _ => return ());
+ return <xml/>