From 2a54209f8f8ca665b9bee617bf96397b2c75a3da Mon Sep 17 00:00:00 2001 From: Simon Peyton Jones Date: Wed, 22 Aug 2018 10:04:08 +0100 Subject: Comments only --- compiler/types/CoAxiom.hs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'compiler/types/CoAxiom.hs') diff --git a/compiler/types/CoAxiom.hs b/compiler/types/CoAxiom.hs index 63c21627c8..7f578ec696 100644 --- a/compiler/types/CoAxiom.hs +++ b/compiler/types/CoAxiom.hs @@ -222,6 +222,8 @@ data CoAxBranch -- See Note [CoAxiom locations] , cab_tvs :: [TyVar] -- Bound type variables; not necessarily fresh -- See Note [CoAxBranch type variables] + -- May be eta-reduded; see FamInstEnv + -- Note [Eta reduction for data families] , cab_cvs :: [CoVar] -- Bound coercion variables -- Always empty, for now. -- See Note [Constraints in patterns] -- cgit v1.2.1