From c9b985223bc94657127b48fa3370bff4ea6ed5f3 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 17 Dec 2011 12:01:31 -0500 Subject: SQL lower() and upper() functions --- tests/lower.ur | 10 ++++++++++ tests/lower.urp | 4 ++++ 2 files changed, 14 insertions(+) create mode 100644 tests/lower.ur create mode 100644 tests/lower.urp (limited to 'tests') 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 => {[r.A]}
); + return + {all} + diff --git a/tests/lower.urp b/tests/lower.urp new file mode 100644 index 00000000..6abf57aa --- /dev/null +++ b/tests/lower.urp @@ -0,0 +1,4 @@ +database dbname=test +sql lower.sql + +lower -- cgit v1.2.3