Mercurial > urweb

diff lib/ur/basis.urs @ 1572:5530a8075b62

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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