From 8a167261f4de68926907c3cc97f8252957274bff Mon Sep 17 00:00:00 2001
From: Karn Kallio <kkallio@eka>
Date: Fri, 14 Oct 2011 01:33:03 -0530
Subject: IF THEN ELSE conditional for SQL.

---
 src/urweb.grm | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'src/urweb.grm')

diff --git a/src/urweb.grm b/src/urweb.grm
index db99d3b5..d39fbe55 100644
--- a/src/urweb.grm
+++ b/src/urweb.grm
@@ -249,6 +249,7 @@ fun tnamesOf (e, _) =
  | NE | LT | LE | GT | GE
  | CCONSTRAINT | UNIQUE | CHECK | PRIMARY | FOREIGN | KEY | ON | NO | ACTION | RESTRICT | CASCADE | REFERENCES
  | JOIN | INNER | CROSS | OUTER | LEFT | RIGHT | FULL
+ | CIF | CTHEN | CELSE
 
 %nonterm
    file of decl list
@@ -1828,6 +1829,13 @@ sqlexp : TRUE                           (sql_inject (EVar (["Basis"], "True", In
                                                     sqlexp), loc)
                                          end)
 
+       | CIF sqlexp CTHEN sqlexp CELSE sqlexp (let
+                                                   val loc = s (CIFleft, sqlexp3right)
+                                                   val e = (EVar (["Basis"], "sql_if_then_else", Infer), loc) 
+                                               in
+                                                   (EApp ((EApp ((EApp (e, sqlexp1), loc), sqlexp2), loc), sqlexp3), loc)
+                                               end)
+
        | LBRACE LBRACK eexp RBRACK RBRACE  (sql_inject (#1 eexp,
                                                         s (LBRACEleft, RBRACEright)))
        | LPAREN sqlexp RPAREN           (sqlexp)
-- 
cgit v1.2.3