From 476f12674420391e24afd1846e176eabe550d36c Mon Sep 17 00:00:00 2001
From: Ziv Scully <ziv@mit.edu>
Date: Sat, 29 Nov 2014 03:37:59 -0500
Subject: Basic field-resolution invalidation.

---
 src/iflow.sml | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

(limited to 'src/iflow.sml')

diff --git a/src/iflow.sml b/src/iflow.sml
index f68d8f72..b8346baa 100644
--- a/src/iflow.sml
+++ b/src/iflow.sml
@@ -1870,14 +1870,15 @@ val namer = MonoUtil.File.map {typ = fn t => t,
                                         case e of
                                             EDml (e, fm) =>
                                             nameSubexps (fn (_, e') => (EDml (e', fm), #2 e)) e
-                                          | EQuery {exps, tables, state, query, body, initial} =>
+                                          | EQuery {exps, tables, state, query, body, initial, sqlcacheInfo} =>
                                             nameSubexps (fn (liftBy, e') =>
                                                             (EQuery {exps = exps,
                                                                      tables = tables,
                                                                      state = state,
                                                                      query = e',
                                                                      body = mliftExpInExp liftBy 2 body,
-                                                                     initial = mliftExpInExp liftBy 0 initial},
+                                                                     initial = mliftExpInExp liftBy 0 initial,
+                                                                     sqlcacheInfo = sqlcacheInfo},
                                                              #2 query)) query
                                           | _ => e,
                                      decl = fn d => d}
@@ -2070,11 +2071,12 @@ fun check (file : file) =
                           | ESeq (e1, e2) => (ESeq (doExp env e1, doExp env e2), loc)
                           | ELet (x, t, e1, e2) => (ELet (x, t, doExp env e1, doExp (Unknown :: env) e2), loc)
                           | EClosure (n, es) => (EClosure (n, map (doExp env) es), loc)
-                          | EQuery {exps, tables, state, query, body, initial} =>
+                          | EQuery {exps, tables, state, query, body, initial, sqlcacheInfo} =>
                             (EQuery {exps = exps, tables = tables, state = state,
                                      query = doExp env query,
                                      body = doExp (Unknown :: Unknown :: env) body,
-                                     initial = doExp env initial}, loc)
+                                     initial = doExp env initial,
+                                     sqlcacheInfo = sqlcacheInfo}, loc)
                           | EDml (e1, mode) =>
                             (case parse dml e1 of
                                  NONE => ()
-- 
cgit v1.2.3