diff tests/lower.ur @ 1636:2b312f6d4007

SQL lower() and upper() functions
author Adam Chlipala <adam@chlipala.net>
date Sat, 17 Dec 2011 12:01:31 -0500
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/lower.ur	Sat Dec 17 12:01:31 2011 -0500
@@ -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>