diff options
Diffstat (limited to 'testsuite/tests/pmcheck/should_compile/T11195.hs')
| -rw-r--r-- | testsuite/tests/pmcheck/should_compile/T11195.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/testsuite/tests/pmcheck/should_compile/T11195.hs b/testsuite/tests/pmcheck/should_compile/T11195.hs index dca79500ac..7a7a4b05c5 100644 --- a/testsuite/tests/pmcheck/should_compile/T11195.hs +++ b/testsuite/tests/pmcheck/should_compile/T11195.hs @@ -5,6 +5,7 @@ module T11195 where import GHC.Core.TyCo.Rep import GHC.Core.Coercion import GHC.Core.Type hiding( substTyVarBndr, substTy, extendTCvSubst ) +import GHC.Core.TyCo.Compare import GHC.Core.InstEnv import GHC.Core.Coercion.Axiom import GHC.Tc.Utils.TcType ( exactTyCoVarsOfType ) @@ -61,8 +62,8 @@ opt_transList :: InScopeSet -> [NormalCo] -> [NormalCo] -> [NormalCo] opt_transList is = zipWith (opt_trans is) opt_trans_rule :: InScopeSet -> NormalNonIdCo -> NormalNonIdCo -> Maybe NormalCo -opt_trans_rule is in_co1@(NthCo r1 d1 co1) in_co2@(NthCo r2 d2 co2) - | d1 == d2 +opt_trans_rule is in_co1@(SelCo sel1 co1) in_co2@(SelCo sel2 co2) + | sel1 == sel2 , co1 `compatible_co` co2 = undefined opt_trans_rule is in_co1@(LRCo d1 co1) in_co2@(LRCo d2 co2) |