diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-02-25 11:27:16 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-02-25 11:27:16 -0500 |
| commit | 05f8f0c4cdae3cdde84eca29e647ec627e19160a (patch) | |
| tree | cf7eb31deb39a78b07d8b96084d36c49388fa1bf /lib | |
| parent | f56976b7824759a96e790da1e32f2a7a1f1aeca3 (diff) | |
sql_arith_option; 'ALL' for relational operators
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/ur/basis.urs | 6 |
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 |