[Git][ghc/ghc][wip/T23051] Drop dead binding

[Simon Peyton Jones (@simonpj)]

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


Commits:
35616f41 by Simon Peyton Jones at 2023-03-15T18:00:07+00:00
Drop dead binding

- - - - -


1 changed file:

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


Changes:

=====================================
compiler/GHC/Tc/Utils/TcMType.hs
=====================================
@@ -1444,8 +1444,8 @@ collect_cand_qtvs orig_ty is_dep cur_lvl bound dvs ty
                     -- See Note [Use level numbers for quantification]
 
       | case tcTyVarDetails tv of
-          SkolemTv _ lvl _ -> True  -- lvl > pushTcLevel cur_lvl
-          _                -> False
+          SkolemTv {} -> True  -- lvl > pushTcLevel cur_lvl
+          _           -> False
       = return dv  -- Skip inner skolems
         -- This only happens for erroneous program with bad telescopes
         -- e.g. BadTelescope2:  forall a k (b :: k). SameKind a b



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/35616f4145c0cdb83e815a967e70afd944ad4851

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/35616f4145c0cdb83e815a967e70afd944ad4851
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/20230315/048e7d4e/attachment.html>