summaryrefslogtreecommitdiff
path: root/tests/user.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-10-05 12:51:17 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-10-05 12:51:17 -0400
commit280383cc8e3ac593d57ae26097a7b972edb2ea7a (patch)
treecff32a3f351a71dbf60b6e8109dde574f77bf89e /tests/user.ur
parent83ebcdd3e064431640437a9a073520e9b0ec8944 (diff)
Mangle local table names to avoid keyword clashes in SQL
Diffstat (limited to 'tests/user.ur')
-rw-r--r--tests/user.ur5
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/user.ur b/tests/user.ur
new file mode 100644
index 00000000..c36fe407
--- /dev/null
+++ b/tests/user.ur
@@ -0,0 +1,5 @@
+table user : {A : int}
+
+fun main () =
+ r <- oneRow (SELECT COUNT( * ) AS N FROM user);
+ return <xml>{[r.N]}</xml>