[Git][ghc/ghc][wip/T21623] Wibble
Simon Peyton Jones (@simonpj)
gitlab at gitlab.haskell.org
Wed Aug 10 22:30:34 UTC 2022
Simon Peyton Jones pushed to branch wip/T21623 at Glasgow Haskell Compiler / GHC
Commits:
78ba2dc1 by Simon Peyton Jones at 2022-08-10T23:30:50+01:00
Wibble
- - - - -
1 changed file:
- compiler/GHC/Core/TyCo/FVs.hs
Changes:
=====================================
compiler/GHC/Core/TyCo/FVs.hs
=====================================
@@ -673,8 +673,8 @@ almost_devoid_co_var_of_co (AppCo co arg) cv
almost_devoid_co_var_of_co (ForAllCo v kind_co co) cv
= almost_devoid_co_var_of_co kind_co cv
&& (v == cv || almost_devoid_co_var_of_co co cv)
-almost_devoid_co_var_of_co (FunCo o_ w co1 co2) cv
- = almost_devoid_co_var_of_co w cv
+almost_devoid_co_var_of_co (FunCo _ w co1 co2) cv
+ = almost_devoid_co_var_of_co w cv
&& almost_devoid_co_var_of_co co1 cv
&& almost_devoid_co_var_of_co co2 cv
almost_devoid_co_var_of_co (CoVarCo v) cv = v /= cv
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/78ba2dc1964221f0c2129a309e18cec76956763e
--
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/78ba2dc1964221f0c2129a309e18cec76956763e
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/20220810/2bc6d80c/attachment.html>
More information about the ghc-commits
mailing list