changeset 2041:ec7a1fa5e88f

Another MonoReduce fix
author Adam Chlipala <adam@chlipala.net>
date Sat, 26 Jul 2014 09:26:11 -0400 (2014-07-26)
parents 8ea382a57ce2
children 336070df8aec
files src/mono_reduce.sml
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/mono_reduce.sml	Mon Jul 21 08:11:03 2014 -0400
+++ b/src/mono_reduce.sml	Sat Jul 26 09:26:11 2014 -0400
@@ -502,7 +502,7 @@
                       | EWrite e => summarize d e @ [WritePage]
                                     
                       | ESeq (e1, e2) => summarize d e1 @ summarize d e2
-                      | ELet (_, _, e1, e2) => summarize d e1 @ summarize (d + 1) e2
+                      | ELet (_, _, e1, e2) => summarize d e1 @ summarize (if d = ~1 then ~1 else d + 1) e2
 
                       | EClosure (_, es) => List.concat (map (summarize d) es)