From 2818df6f0040837fe5252a3be697997477d3becd Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 11 Sep 2008 11:44:46 -0400
Subject: Improve linear-let optimization

---
 src/mono_reduce.sml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/mono_reduce.sml')

diff --git a/src/mono_reduce.sml b/src/mono_reduce.sml
index 5c39145b..b66e9b04 100644
--- a/src/mono_reduce.sml
+++ b/src/mono_reduce.sml
@@ -213,6 +213,7 @@ fun summarize d (e, _) =
       | ESome (_, e) => summarize d e
       | EFfi _ => []
       | EFfiApp (_, _, es) => List.concat (map (summarize d) es)
+      | EApp ((EFfi _, _), e) => summarize d e
       | EApp _ => [Unsure]
       | EAbs _ => []
 
@@ -244,7 +245,7 @@ fun summarize d (e, _) =
 
       | EQuery {query, body, initial, ...} =>
         List.concat [summarize d query,
-                     summarize d body,
+                     summarize (d + 2) body,
                      summarize d initial,
                      [ReadDb]]
 
-- 
cgit v1.2.3