diff options
| -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 |