summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-04-21 15:47:02 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-04-21 15:47:02 -0400
commit4ba39cb7e4cdc2231460043c1e5b7308a225329b (patch)
tree165d8f853e8893de71822e03938cef56007ec894 /tests
parent64be34d44a0de6a4710b3bff9feb087df7dcc70c (diff)
Antiquote for PRIMARY KEY
Diffstat (limited to 'tests')
-rw-r--r--tests/pkeyEscape.ur6
-rw-r--r--tests/pkeyEscape.urp5
2 files changed, 11 insertions, 0 deletions
diff --git a/tests/pkeyEscape.ur b/tests/pkeyEscape.ur
new file mode 100644
index 00000000..c432b1e9
--- /dev/null
+++ b/tests/pkeyEscape.ur
@@ -0,0 +1,6 @@
+table t : {A : int, B : int}
+ PRIMARY KEY {{primary_key [#A] [[B = _]]}}
+
+fun main () : transaction page =
+ queryI (SELECT * FROM t) (fn _ => return ());
+ return <xml/>
diff --git a/tests/pkeyEscape.urp b/tests/pkeyEscape.urp
new file mode 100644
index 00000000..f041ed15
--- /dev/null
+++ b/tests/pkeyEscape.urp
@@ -0,0 +1,5 @@
+debug
+database dbname=pkeyEscape
+sql pkeyEscape.sql
+
+pkeyEscape