# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1221147886 14400
# Node ID 1fd2a29a7c85c07513b0c42b37fad428d7e3231e
# Parent  60907c06b4c4c037a52fe4cc31ae31ea68bb9292
Improve linear-let optimization

diff -r 60907c06b4c4 -r 1fd2a29a7c85 src/mono_reduce.sml
--- a/src/mono_reduce.sml	Thu Sep 11 11:30:39 2008 -0400
+++ b/src/mono_reduce.sml	Thu Sep 11 11:44:46 2008 -0400
@@ -213,6 +213,7 @@
       | 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 @@
 
       | EQuery {query, body, initial, ...} =>
         List.concat [summarize d query,
-                     summarize d body,
+                     summarize (d + 2) body,
                      summarize d initial,
                      [ReadDb]]