diff options
author | Ben Gamari <ben@smart-cactus.org> | 2022-02-22 21:28:45 -0500 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-02-25 21:12:09 -0500 |
commit | 948bf2d0ac28a367533523de59976c4b4b20db1c (patch) | |
tree | ce0c0a18e6720d8d47f0f47cd5eec9049a0ea2e7 | |
parent | cddb040ac178ee0a996ac83baef48710bf88e5b2 (diff) | |
download | haskell-948bf2d0ac28a367533523de59976c4b4b20db1c.tar.gz |
Fix comment reference to T4818
-rw-r--r-- | compiler/GHC/Core/Rules.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/GHC/Core/Rules.hs b/compiler/GHC/Core/Rules.hs index 14bcd4564f..9a1db01c2a 100644 --- a/compiler/GHC/Core/Rules.hs +++ b/compiler/GHC/Core/Rules.hs @@ -1364,7 +1364,7 @@ There are a couple of tricky points. f (let v = e1 in b1) (let v = e2 in b2) --> NOT! let v = e1 in let v = e2 in (f b2 b2) - See testsuite test "RuleFloatLet". + See testsuite test "T4814". Our cunning plan is this: * Along with the growing substitution for template variables @@ -1387,6 +1387,7 @@ Our cunning plan is this: * We apply that freshening substitution, in a lexically-scoped way to the term, although lazily; this is the rv_fltR field. +See #4814, which is an issue resulting from getting this wrong. Note [Matching cases] ~~~~~~~~~~~~~~~~~~~~~ |