diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2021-11-17 15:32:51 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-11-18 14:44:45 -0500 |
| commit | f55ae1803ef0eea3f99243be5dc1bd41eeb69048 (patch) | |
| tree | 69a2188c752f23efb720a523e1c1ddcdc74a694a | |
| parent | f8c1c549bbb02cb0a943a9ae49dee922c96d85c4 (diff) | |
| download | haskell-f55ae1803ef0eea3f99243be5dc1bd41eeb69048.tar.gz | |
Add one line of comments (c.f. !5706)
Ticket #19815 suggested changing coToMCo to use
isReflexiveCo rather than isReflCo. But perf results
weren't encouraging. This patch just adds a comment to
point to the data, such as it is.
| -rw-r--r-- | compiler/GHC/Core/Coercion.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/GHC/Core/Coercion.hs b/compiler/GHC/Core/Coercion.hs index a7b4a33584..42266d35da 100644 --- a/compiler/GHC/Core/Coercion.hs +++ b/compiler/GHC/Core/Coercion.hs @@ -306,6 +306,7 @@ tidyCoAxBndrsForUser init_env tcvs coToMCo :: Coercion -> MCoercion -- Convert a coercion to a MCoercion, -- It's not clear whether or not isReflexiveCo would be better here +-- See #19815 for a bit of data and dicussion on this point coToMCo co | isReflCo co = MRefl | otherwise = MCo co |