[Git][ghc/ghc][wip/T23923-mikolaj] Fix an old test broken by the addition

[Mikolaj Konarski (@Mikolaj)]

Mikolaj Konarski pushed to branch wip/T23923-mikolaj at Glasgow Haskell Compiler / GHC


Commits:
5b752367 by Mikolaj Konarski at 2024-01-25T10:35:26+01:00
Fix an old test broken by the addition

- - - - -


1 changed file:

- testsuite/tests/pmcheck/should_compile/T11195.hs


Changes:

=====================================
testsuite/tests/pmcheck/should_compile/T11195.hs
=====================================
@@ -75,8 +75,8 @@ opt_trans_rule is in_co1@(InstCo co1 ty1) in_co2@(InstCo co2 ty2)
   | ty1 `eqCoercion` ty2
   , co1 `compatible_co` co2 = undefined
 
-opt_trans_rule is in_co1@(UnivCo p1 r1 tyl1 _tyr1)
-                  in_co2@(UnivCo p2 r2 _tyl2 tyr2)
+opt_trans_rule is in_co1@(UnivCo p1 r1 tyl1 _tyr1 _)
+                  in_co2@(UnivCo p2 r2 _tyl2 tyr2 _)
   | Just prov' <- opt_trans_prov p1 p2 = undefined
   where
     -- if the provenances are different, opt'ing will be very confusing



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/5b7523676a333fa997558349f6986a5d684ab444

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/5b7523676a333fa997558349f6986a5d684ab444
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20240125/38bd9595/attachment.html>