Mercurial > urweb
diff lib/ur/basis.urs @ 1572:5530a8075b62
IF THEN ELSE conditional for SQL.
author | Karn Kallio <kkallio@eka> |
---|---|
date | Fri, 14 Oct 2011 02:33:03 -0430 |
parents | f403e129c276 |
children | e44be6ece475 |
line wrap: on
line diff
--- a/lib/ur/basis.urs Sat Oct 08 17:23:58 2011 -0400 +++ b/lib/ur/basis.urs Fri Oct 14 02:33:03 2011 -0430 @@ -474,6 +474,13 @@ -> sql_exp tables agg exps (option t) -> sql_exp tables agg exps bool +val sql_if_then_else : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} + -> t ::: Type + -> sql_exp tables agg exps bool + -> sql_exp tables agg exps t + -> sql_exp tables agg exps t + -> sql_exp tables agg exps t + class sql_arith val sql_arith_int : sql_arith int val sql_arith_float : sql_arith float