diff options
| author | Sylvain Henry <sylvain@haskus.fr> | 2020-03-19 12:26:37 +0100 |
|---|---|---|
| committer | Sylvain Henry <sylvain@haskus.fr> | 2020-03-30 10:34:23 +0200 |
| commit | 163da78031d7959e5e00c35ade1573bf373f71bc (patch) | |
| tree | c64e4ab72e8881260276a6dfd336c2e1bb251653 /haddock-api/src/Haddock/Convert.hs | |
| parent | 65f22afa9e66195baa6b7d44369e2b23cd8f77d2 (diff) | |
Modules: type checker
Diffstat (limited to 'haddock-api/src/Haddock/Convert.hs')
| -rw-r--r-- | haddock-api/src/Haddock/Convert.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/haddock-api/src/Haddock/Convert.hs b/haddock-api/src/Haddock/Convert.hs index ac6858c4..a130a6be 100644 --- a/haddock-api/src/Haddock/Convert.hs +++ b/haddock-api/src/Haddock/Convert.hs @@ -34,7 +34,7 @@ import GHC.Types.Name.Set ( emptyNameSet ) import GHC.Types.Name.Reader ( mkVarUnqual ) import GHC.Core.PatSyn import GHC.Types.SrcLoc ( Located, noLoc, unLoc, GenLocated(..), srcLocSpan ) -import TcType +import GHC.Tc.Utils.Type import GHC.Core.TyCon import GHC.Core.Type import GHC.Core.TyCo.Rep @@ -800,7 +800,7 @@ synifyFamInst fi opaque = do eta_expanded_lhs -- eta-expand lhs types, because sometimes data/newtype -- instances are eta-reduced; See Trac #9692 - -- See Note [Eta reduction for data family axioms] in TcInstDcls in GHC + -- See Note [Eta reduction for data family axioms] in GHC.Tc.TyCl.Instance in GHC | DataFamilyInst rep_tc <- fam_flavor = let (_, rep_tc_args) = splitTyConApp fam_rhs etad_tyvars = dropList rep_tc_args $ tyConTyVars rep_tc |