diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2021-11-17 15:32:51 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2021-11-17 22:45:55 +0000 |
| commit | 4a7fcf1e4b44ada7f9491bae169f170cf3790f07 (patch) | |
| tree | 48cf8aecac9dc3c4ee427907db33a8a8588ebfdb | |
| parent | 16d86b97ee3056b54441e7dfd349477f32347a26 (diff) | |
| download | haskell-wip/M5706.tar.gz | |
Add one line of comments (c.f. !5706)wip/M5706
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 |