[Git][ghc/ghc][wip/T24083] Another wibble

Thu Nov 9 09:26:57 UTC 2023


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


Commits:
426d22b7 by Simon Peyton Jones at 2023-11-09T09:26:45+00:00
Another wibble

- - - - -


1 changed file:

- compiler/GHC/Tc/Gen/HsType.hs


Changes:

=====================================
compiler/GHC/Tc/Gen/HsType.hs
=====================================
@@ -2608,7 +2608,7 @@ kcCheckDeclHeader_sig sig_kind name flav
         ; implicit_tvs <- liftZonkM $ zonkTcTyVarsToTcTyVars implicit_tvs
         ; let implicit_prs = implicit_nms `zip` implicit_tvs
         ; checkForDuplicateScopedTyVars implicit_prs
-        ; checkForDisconnectedScopedTyVars skol_tcbs implicit_prs
+        ; checkForDisconnectedScopedTyVars all_tcbs implicit_prs
 
         -- Swizzle the Names so that the TyCon uses the user-declared implicit names
         -- E.g  type T :: k -> Type



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/426d22b7eb0859df2730383148f474abf167b5fe

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/426d22b7eb0859df2730383148f474abf167b5fe
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/20231109/8bb5822a/attachment.html>
