comparison 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
comparison
equal deleted inserted replaced
1635:8938f7b31573 1636:2b312f6d4007
1 table lower : { A : string }
2
3 fun main () : transaction page =
4 all <- queryX1 (SELECT *
5 FROM lower
6 WHERE lower(lower.A) LIKE '%foo')
7 (fn r => <xml>{[r.A]}<br/></xml>);
8 return <xml><body>
9 {all}
10 </body></xml>