diff options
Diffstat (limited to 'compiler/GHC/Core/Coercion/Axiom.hs')
-rw-r--r-- | compiler/GHC/Core/Coercion/Axiom.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/GHC/Core/Coercion/Axiom.hs b/compiler/GHC/Core/Coercion/Axiom.hs index 5db9f17161..2476cfd7cc 100644 --- a/compiler/GHC/Core/Coercion/Axiom.hs +++ b/compiler/GHC/Core/Coercion/Axiom.hs @@ -455,6 +455,7 @@ See also: type; but it too is eta-reduced. * Note [Implementing eta reduction for data families] in "GHC.Tc.TyCl.Instance". This describes the implementation details of this eta reduction happen. +* Note [RoughMap and rm_empty] for how this complicates the RoughMap implementation slightly. -} instance Eq (CoAxiom br) where |