summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-02-25 11:27:16 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2011-02-25 11:27:16 -0500
commit05f8f0c4cdae3cdde84eca29e647ec627e19160a (patch)
treecf7eb31deb39a78b07d8b96084d36c49388fa1bf /lib
parentf56976b7824759a96e790da1e32f2a7a1f1aeca3 (diff)
sql_arith_option; 'ALL' for relational operators
Diffstat (limited to 'lib')
-rw-r--r--lib/ur/basis.urs6
1 files changed, 4 insertions, 2 deletions
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