projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
6a173f8
)
[project @ 2000-07-18 14:47:52 by simonpj]
author
simonpj
<unknown>
Tue, 18 Jul 2000 14:47:52 +0000
(14:47 +0000)
committer
simonpj
<unknown>
Tue, 18 Jul 2000 14:47:52 +0000
(14:47 +0000)
Add comment
ghc/compiler/simplCore/SetLevels.lhs
patch
|
blob
|
history
diff --git
a/ghc/compiler/simplCore/SetLevels.lhs
b/ghc/compiler/simplCore/SetLevels.lhs
index
5c83b64
..
51a4676
100644
(file)
--- 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.
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,
\begin{code}
module SetLevels (
setLevels,