Mercurial > urweb

diff lib/ur/basis.urs @ 1636:2b312f6d4007

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
SQL lower() and upper() functions
author Adam Chlipala <adam@chlipala.net>
date Sat, 17 Dec 2011 12:01:31 -0500
parents da788bd72c9e
children 68429cfce8db
line wrap: on
line diff
--- a/lib/ur/basis.urs	Sat Dec 17 09:24:31 2011 -0500
+++ b/lib/ur/basis.urs	Sat Dec 17 12:01:31 2011 -0500
@@ -565,7 +565,8 @@
                 -> sql_exp tables agg exps ran
 val sql_octet_length : sql_ufunc blob int
 val sql_known : t ::: Type -> sql_ufunc t bool
-
+val sql_lower : sql_ufunc string string
+val sql_upper : sql_ufunc string string
 
 val sql_nullable : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} -> t ::: Type
                    -> sql_injectable_prim t