From 5ec949e910342f6212c85c8df75283d091817408 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 15 Jan 2011 14:53:13 -0500
Subject: Allow subqueries to reference aggregate-only columns of free tables;
 treat non-COUNT aggregate functions as possibly returning NULL

---
 src/mono_env.sml | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'src/mono_env.sml')

diff --git a/src/mono_env.sml b/src/mono_env.sml
index 1df38db3..7f9a6e62 100644
--- a/src/mono_env.sml
+++ b/src/mono_env.sml
@@ -85,6 +85,19 @@ val liftExpInExp =
                 bind = fn (bound, U.Exp.RelE _) => bound + 1
                         | (bound, _) => bound}
 
+val subExpInExp =
+    U.Exp.mapB {typ = fn t => t,
+                exp = fn (xn, rep) => fn e =>
+                                  case e of
+                                      ERel xn' =>
+                                      (case Int.compare (xn', xn) of
+                                           EQUAL => #1 rep
+                                         | GREATER=> ERel (xn' - 1)
+                                         | LESS => e)
+                                    | _ => e,
+                bind = fn ((xn, rep), U.Exp.RelE _) => (xn+1, liftExpInExp 0 rep)
+                        | (ctx, _) => ctx}
+
 fun pushERel (env : env) x t eo =
     {datatypes = #datatypes env,
      constructors = #constructors env,
-- 
cgit v1.2.3