From: simonpj@microsoft.com <unknown>
Date: Wed, 16 Dec 2009 08:45:58 +0000 (+0000)
Subject: Comments only
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=455302c1fd5dba0047e76ad83ec21d2edb9864de;p=ghc-hetmet.git

Comments only
---

diff --git a/compiler/simplCore/SimplUtils.lhs b/compiler/simplCore/SimplUtils.lhs
index 56d2795..c645519 100644
--- a/compiler/simplCore/SimplUtils.lhs
+++ b/compiler/simplCore/SimplUtils.lhs
@@ -884,11 +884,13 @@ activeRule dflags env
 
 Note [Top level and postInlineUnconditionally]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-We don't do postInlineUnconditionally for top-level things (except
-ones that are trivial).  There is no point, because the main goal is
-to get rid of local bindings used in multiple case branches. And
-doing so risks replacing a single global allocation with local allocations.
-
+We don't do postInlineUnconditionally for top-level things (exept ones that
+are trivial):
+  * There is no point, because the main goal is to get rid of local
+    bindings used in multiple case branches.
+  * Doing so will inline top-level error expressions that have been
+    carefully floated out by FloatOut.  More generally, it might 
+    replace static allocation with dynamic.
 
 Note [InlineRule and postInlineUnconditionally]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~