[Git][ghc/ghc][wip/T24978] Wibble

[Simon Peyton Jones (@simonpj)]

Simon Peyton Jones pushed to branch wip/T24978 at Glasgow Haskell Compiler / GHC


Commits:
7f1277fa by Simon Peyton Jones at 2024-06-12T14:55:24+01:00
Wibble

- - - - -


1 changed file:

- compiler/GHC/Tc/Utils/TcMType.hs


Changes:

=====================================
compiler/GHC/Tc/Utils/TcMType.hs
=====================================
@@ -1591,9 +1591,6 @@ collect_cand_qtvs_co orig_ty cur_lvl bound = go_co
     go_mco dv MRefl    = return dv
     go_mco dv (MCo co) = go_co dv co
 
-    zt_cv :: CoVar -> TcM CandidatesQTvs -> TcM CandidatesQTvs
-    zt_cv cv mdvs = do { dvs <- mdvs; go_cv dvs cv }
-
     go_cv :: CandidatesQTvs -> CoVar -> TcM CandidatesQTvs
     go_cv dv@(DV { dv_cvs = cvs }) cv
       | is_bound cv         = return dv



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/7f1277fa179cc1e9450f05c3c20dbeedc00c70ab

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/7f1277fa179cc1e9450f05c3c20dbeedc00c70ab
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/20240612/1dca24e0/attachment.html>