summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSimon Peyton Jones <simon.peytonjones@gmail.com>2022-04-07 23:36:24 +0100
committerSimon Peyton Jones <simon.peytonjones@gmail.com>2022-04-07 23:36:24 +0100
commite40f1e090300abdd0074f9e1c7db6a16a0e5ace1 (patch)
treea0c24ecda7a19def46a2af4c6c8db612fde82df7
parentb3d6d23d11a19d5304538b4a55bd9b93f39a3e63 (diff)
downloadhaskell-wip/T21144a.tar.gz
Tiny documentation wibblewip/T21144a
This commit commit 83363c8b04837ee871a304cf85207cf79b299fb0 Author: Simon Peyton Jones <simon.peytonjones@gmail.com> Date: Fri Mar 11 16:55:38 2022 +0000 Use prepareBinding in tryCastWorkerWrapper refactored completeNonRecX away, but left a Note referring to it. This MR fixes that Note.
-rw-r--r--compiler/GHC/Core/Opt/Simplify.hs4
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/GHC/Core/Opt/Simplify.hs b/compiler/GHC/Core/Opt/Simplify.hs
index e6f803b512..e1b54cf5da 100644
--- a/compiler/GHC/Core/Opt/Simplify.hs
+++ b/compiler/GHC/Core/Opt/Simplify.hs
@@ -1772,8 +1772,8 @@ Note [Avoiding exponential behaviour]
One way in which we can get exponential behaviour is if we simplify a
big expression, and the re-simplify it -- and then this happens in a
deeply-nested way. So we must be jolly careful about re-simplifying
-an expression. That is why completeNonRecX does not try
-preInlineUnconditionally.
+an expression. That is why simplNonRecX does not try
+preInlineUnconditionally (unlike simplNonRecE).
Example:
f BIG, where f has a RULE