Deploying to deploy from @ ed35737 🚀

haskellfoundation · Feb 8, 2023 · f0192bd · f0192bd
1 parent 87c169e
commit f0192bd
Show file tree

Hide file tree

Showing 13 changed files with 8 additions and 8 deletions.
diff --git a/_sources/src/Optimizations/GHC_opt/lambda_lifting.rst.txt b/_sources/src/Optimizations/GHC_opt/lambda_lifting.rst.txt
@@ -126,8 +126,8 @@ syntactic changes:
 #. All non-top-level variables (i.e., free variables) in the let's body become
    occurrences of parameters.
 
-When to Manually Lambda Lifting
--------------------------------
+When to Manually Lambda Lift
+----------------------------
 
 GHC does a good job finding beneficial instances of lambda lifting. However, you
 might want to manually lambda lift to save compile time, or to increase

diff --git a/...-linux/ghc-9.2.4/lethargy-0.1.0.0/b/tooManyClosures/build/tooManyClosures/tooManyClosures b/...-linux/ghc-9.2.4/lethargy-0.1.0.0/b/tooManyClosures/build/tooManyClosures/tooManyClosures
diff --git a/...yClosures/build/tooManyClosures/tooManyClosures-tmp/bench/TooManyClosures/Main.dump-simpl b/...yClosures/build/tooManyClosures/tooManyClosures-tmp/bench/TooManyClosures/Main.dump-simpl
@@ -1,6 +1,6 @@
 
 ==================== Tidy Core ====================
-2023-02-08 12:52:58.943979224 UTC
+2023-02-08 12:53:10.653998976 UTC
 
 Result size of Tidy Core
   = {terms: 69, types: 59, coercions: 0, joins: 0/1}

diff --git a/...sures/build/tooManyClosures/tooManyClosures-tmp/bench/TooManyClosures/Main.dump-stg-final b/...sures/build/tooManyClosures/tooManyClosures-tmp/bench/TooManyClosures/Main.dump-stg-final
@@ -1,6 +1,6 @@
 
 ==================== Final STG: ====================
-2023-02-08 12:52:58.945514447 UTC
+2023-02-08 12:53:10.655503869 UTC
 
 Main.bad :: [GHC.Types.Int] -> GHC.Types.Int
 [GblId, Arity=1, Unf=OtherCon []] =

diff --git a/...dist-newstyle/build/x86_64-linux/ghc-9.2.4/lethargy-0.1.0.0/b/tooManyClosures/cache/build b/...dist-newstyle/build/x86_64-linux/ghc-9.2.4/lethargy-0.1.0.0/b/tooManyClosures/cache/build
diff --git a/_static/dist-newstyle/cache/config b/_static/dist-newstyle/cache/config
diff --git a/_static/dist-newstyle/cache/elaborated-plan b/_static/dist-newstyle/cache/elaborated-plan
diff --git a/_static/dist-newstyle/cache/improved-plan b/_static/dist-newstyle/cache/improved-plan
diff --git a/_static/dist-newstyle/cache/solver-plan b/_static/dist-newstyle/cache/solver-plan
diff --git a/objects.inv b/objects.inv
diff --git a/src/Optimizations/GHC_opt/index.html b/src/Optimizations/GHC_opt/index.html
@@ -150,7 +150,7 @@ <h1><span class="section-number">3.2. </span>Manual GHC Optimizations<a class="h
 <li class="toctree-l2"><a class="reference internal" href="lambda_lifting.html#a-working-example">3.2.3.1. A Working Example</a></li>
 <li class="toctree-l2"><a class="reference internal" href="lambda_lifting.html#how-lambda-lifting-works-in-ghc">3.2.3.2. How Lambda Lifting Works in GHC</a></li>
 <li class="toctree-l2"><a class="reference internal" href="lambda_lifting.html#observing-the-effect-of-lambda-lifting">3.2.3.3. Observing the Effect of Lambda Lifting</a></li>
-<li class="toctree-l2"><a class="reference internal" href="lambda_lifting.html#when-to-manually-lambda-lifting">3.2.3.4. When to Manually Lambda Lifting</a></li>
+<li class="toctree-l2"><a class="reference internal" href="lambda_lifting.html#when-to-manually-lambda-lift">3.2.3.4. When to Manually Lambda Lift</a></li>
 <li class="toctree-l2"><a class="reference internal" href="lambda_lifting.html#summary">3.2.3.5. Summary</a></li>
 </ul>
 </li>

diff --git a/src/Optimizations/GHC_opt/lambda_lifting.html b/src/Optimizations/GHC_opt/lambda_lifting.html
@@ -252,8 +252,8 @@ <h2><span class="section-number">3.2.3.3. </span>Observing the Effect of Lambda
 occurrences of parameters.</p></li>
 </ol>
 </section>
-<section id="when-to-manually-lambda-lifting">
-<h2><span class="section-number">3.2.3.4. </span>When to Manually Lambda Lifting<a class="headerlink" href="#when-to-manually-lambda-lifting" title="Permalink to this heading">¶</a></h2>
+<section id="when-to-manually-lambda-lift">
+<h2><span class="section-number">3.2.3.4. </span>When to Manually Lambda Lift<a class="headerlink" href="#when-to-manually-lambda-lift" title="Permalink to this heading">¶</a></h2>
 <p>GHC does a good job finding beneficial instances of lambda lifting. However, you
 might want to manually lambda lift to save compile time, or to increase
 the performance of your without relying on GHC’s optimizer.</p>

diff --git a/src/Optimizations/index.html b/src/Optimizations/index.html
@@ -159,7 +159,7 @@ <h1><span class="section-number">3. </span>Optimizations<a class="headerlink" hr
 <li class="toctree-l3"><a class="reference internal" href="GHC_opt/lambda_lifting.html#a-working-example">3.2.3.1. A Working Example</a></li>
 <li class="toctree-l3"><a class="reference internal" href="GHC_opt/lambda_lifting.html#how-lambda-lifting-works-in-ghc">3.2.3.2. How Lambda Lifting Works in GHC</a></li>
 <li class="toctree-l3"><a class="reference internal" href="GHC_opt/lambda_lifting.html#observing-the-effect-of-lambda-lifting">3.2.3.3. Observing the Effect of Lambda Lifting</a></li>
-<li class="toctree-l3"><a class="reference internal" href="GHC_opt/lambda_lifting.html#when-to-manually-lambda-lifting">3.2.3.4. When to Manually Lambda Lifting</a></li>
+<li class="toctree-l3"><a class="reference internal" href="GHC_opt/lambda_lifting.html#when-to-manually-lambda-lift">3.2.3.4. When to Manually Lambda Lift</a></li>
 <li class="toctree-l3"><a class="reference internal" href="GHC_opt/lambda_lifting.html#summary">3.2.3.5. Summary</a></li>
 </ul>
 </li>