diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-08-22 10:04:08 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-08-23 11:40:51 +0100 |
| commit | 2a54209f8f8ca665b9bee617bf96397b2c75a3da (patch) | |
| tree | d6181702efe9fd04be3cda855798201cab68aad9 /compiler/types/CoAxiom.hs | |
| parent | 8c7f90abcc1e8f9f29b751f23174e8db89ba6983 (diff) | |
| download | haskell-2a54209f8f8ca665b9bee617bf96397b2c75a3da.tar.gz | |
Comments only
Diffstat (limited to 'compiler/types/CoAxiom.hs')
| -rw-r--r-- | compiler/types/CoAxiom.hs | 2 |
1 files changed, 2 insertions, 0 deletions
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] |