[Git][ghc/ghc][wip/T23923-mikolaj-take-2] Ajust a single test in testsuite that uses PluginProv

[Mikolaj Konarski (@Mikolaj)]

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


Commits:
318499d8 by Mikolaj Konarski at 2024-04-06T20:46:23+02:00
Ajust a single test in testsuite that uses PluginProv

- - - - -


1 changed file:

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


Changes:

=====================================
testsuite/tests/pmcheck/should_compile/T11195.hs
=====================================
@@ -84,7 +84,7 @@ opt_trans_rule is in_co1@(UnivCo p1 r1 tyl1 _tyr1)
       = Just $ PhantomProv $ opt_trans is kco1 kco2
     opt_trans_prov (ProofIrrelProv kco1) (ProofIrrelProv kco2)
       = Just $ ProofIrrelProv $ opt_trans is kco1 kco2
-    opt_trans_prov (PluginProv str1) (PluginProv str2)
+    opt_trans_prov (PluginProv str1 _) (PluginProv str2 _)
       | str1 == str2 = Just p1
     opt_trans_prov _ _ = Nothing
 



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/318499d81e685fd6ad9bb39c80f5bc217276301e

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/318499d81e685fd6ad9bb39c80f5bc217276301e
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/20240406/01b285a3/attachment-0001.html>