diff options
| author | Gabor Greif <ggreif@gmail.com> | 2017-07-28 20:36:59 +0200 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2017-07-30 15:22:04 +0200 |
| commit | 969928602aa7b23bcaffe0dbfa885ffce87cea02 (patch) | |
| tree | ebadc489a2cd38c9fe2f3b2a2e9880710802df44 /compiler/simplStg | |
| parent | 7089dc2f12f9616771fc1de143e9b974157405d8 (diff) | |
| download | haskell-969928602aa7b23bcaffe0dbfa885ffce87cea02.tar.gz | |
Typofixes [ci skip]
Diffstat (limited to 'compiler/simplStg')
| -rw-r--r-- | compiler/simplStg/StgCse.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/compiler/simplStg/StgCse.hs b/compiler/simplStg/StgCse.hs index 6bd6adc7ec..ac8e82007e 100644 --- a/compiler/simplStg/StgCse.hs +++ b/compiler/simplStg/StgCse.hs @@ -5,9 +5,9 @@ Note [CSE for Stg] ~~~~~~~~~~~~~~~~~~ This module implements a simple common subexpression elimination pass for STG. This is useful because there are expressions that we want to common up (because -they are operational equivalent), but that we cannot common up in Core, because +they are operationally equivalent), but that we cannot common up in Core, because their types differ. -This was original reported as #9291. +This was originally reported as #9291. There are two types of common code occurrences that we aim for, see note [Case 1: CSEing allocated closures] and @@ -217,7 +217,7 @@ substVar env id = fromMaybe id $ lookupVarEnv (ce_subst env) id -- Functions to enter binders --- This is much simpler than the requivalent code in CoreSubst: +-- This is much simpler than the equivalent code in CoreSubst: -- * We do not substitute type variables, and -- * There is nothing relevant in IdInfo at this stage -- that needs substitutions. @@ -438,7 +438,7 @@ we first replace v with r2. Next we want to replace Right r2 with r1. But the ce_conAppMap contains Right a! Therefore, we add r1 ↦ x to ce_bndrMap when analysing the outer case, and use -this subsitution before looking Right r2 up in ce_conAppMap, and everything +this substitution before looking Right r2 up in ce_conAppMap, and everything works out. Note [Free variables of an StgClosure] |