diff options
| author | Sylvain Henry <sylvain@haskus.fr> | 2020-03-02 11:43:03 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-03-16 23:53:24 -0400 |
| commit | 18a346a4b5a02b8c62e8eedb91b35c2d8e754b96 (patch) | |
| tree | 59121ffd5a46c1987a184db3842a3089f6250d11 /testsuite/tests/pmcheck/should_compile/T11195.hs | |
| parent | 818b3c38e7548f4720815f76969238d82c9650f7 (diff) | |
| download | haskell-18a346a4b5a02b8c62e8eedb91b35c2d8e754b96.tar.gz | |
Modules: Core (#13009)
Update submodule: haddock
Diffstat (limited to 'testsuite/tests/pmcheck/should_compile/T11195.hs')
| -rw-r--r-- | testsuite/tests/pmcheck/should_compile/T11195.hs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/pmcheck/should_compile/T11195.hs b/testsuite/tests/pmcheck/should_compile/T11195.hs index b5c5452361..3e45f24c23 100644 --- a/testsuite/tests/pmcheck/should_compile/T11195.hs +++ b/testsuite/tests/pmcheck/should_compile/T11195.hs @@ -2,15 +2,15 @@ module T11195 where -import TyCoRep -import Coercion -import Type hiding( substTyVarBndr, substTy, extendTCvSubst ) +import GHC.Core.TyCo.Rep +import GHC.Core.Coercion +import GHC.Core.Type hiding( substTyVarBndr, substTy, extendTCvSubst ) +import GHC.Core.InstEnv +import GHC.Core.Coercion.Axiom import TcType ( exactTyCoVarsOfType ) -import CoAxiom import VarSet import VarEnv import Pair -import InstEnv type NormalCo = Coercion type NormalNonIdCo = NormalCo -- Extra invariant: not the identity |