From: simonpj <unknown>
Date: Tue, 18 Jul 2000 14:47:52 +0000 (+0000)
Subject: [project @ 2000-07-18 14:47:52 by simonpj]
X-Git-Tag: Approximately_9120_patches~3981
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=96acca9ada515033cfa9b50bb36c1ca0bffe15dc;p=ghc-hetmet.git

[project @ 2000-07-18 14:47:52 by simonpj]
Add comment
---

diff --git a/ghc/compiler/simplCore/SetLevels.lhs b/ghc/compiler/simplCore/SetLevels.lhs
index 5c83b64..51a4676 100644
--- a/ghc/compiler/simplCore/SetLevels.lhs
+++ b/ghc/compiler/simplCore/SetLevels.lhs
@@ -29,6 +29,11 @@
    This means that a sub-expression involving x is not "trapped" inside the RHS.
    And it's not inconvenient because we already have a substitution.
 
+  Note that this is EXACTLY BACKWARDS from the what the simplifier does.
+  The simplifier tries to get rid of occurrences of x, in favour of wild,
+  in the hope that there will only be one remaining occurrence of x, namely
+  the scrutinee of the case, and we can inline it.  
+
 \begin{code}
 module SetLevels (
 	setLevels,