Mercurial > urweb
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)