From 36d3dc318f697a28e725ad6512f827af268f6532 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Fri, 25 Feb 2011 11:27:16 -0500
Subject: sql_arith_option; 'ALL' for relational operators

---
 lib/ur/basis.urs | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'lib/ur')

diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 795b4f9a..aefe82b7 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -384,6 +384,7 @@ val sql_relop : free ::: {{Type}}
                 -> selectedFields ::: {{Type}}
                 -> selectedExps ::: {Type}
                 -> sql_relop
+                -> bool (* ALL *)
                 -> sql_query1 free afree tables1 selectedFields selectedExps
                 -> sql_query1 free afree tables2 selectedFields selectedExps
                 -> sql_query1 free afree [] selectedFields selectedExps
@@ -448,8 +449,9 @@ val sql_is_null : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
                   -> sql_exp tables agg exps bool
 
 class sql_arith
-val sql_int_arith : sql_arith int
-val sql_float_arith : sql_arith float
+val sql_arith_int : sql_arith int
+val sql_arith_float : sql_arith float
+val sql_arith_option : t ::: Type -> sql_arith t -> sql_arith (option t)
 
 con sql_unary :: Type -> Type -> Type
 val sql_not : sql_unary bool bool
-- 
cgit v1.2.3