summaryrefslogtreecommitdiff
path: root/tests/lower.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-12-17 12:01:31 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2011-12-17 12:01:31 -0500
commitc9b985223bc94657127b48fa3370bff4ea6ed5f3 (patch)
tree9979ef0b3677541c9738b8545ab89d958248daf2 /tests/lower.ur
parentcc9303c6ce89d762a93119cae93241f0485829ac (diff)
SQL lower() and upper() functions
Diffstat (limited to 'tests/lower.ur')
-rw-r--r--tests/lower.ur10
1 files changed, 10 insertions, 0 deletions
diff --git a/tests/lower.ur b/tests/lower.ur
new file mode 100644
index 00000000..21e1f1f6
--- /dev/null
+++ b/tests/lower.ur
@@ -0,0 +1,10 @@
+table lower : { A : string }
+
+fun main () : transaction page =
+ all <- queryX1 (SELECT *
+ FROM lower
+ WHERE lower(lower.A) LIKE '%foo')
+ (fn r => <xml>{[r.A]}<br/></xml>);
+ return <xml><body>
+ {all}
+ </body></xml>