From 566143a9c881c9e506c79af3f3cc39abebc37d8f Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 17 Dec 2011 12:01:31 -0500
Subject: SQL lower() and upper() functions

---
 lib/ur/basis.urs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'lib/ur/basis.urs')

diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index fcce3a01..83f23cae 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -565,7 +565,8 @@ val sql_ufunc : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
                 -> 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
-- 
cgit v1.2.3