[Git][ghc/ghc][wip/T25647] Refactor bindHsOuterTyVarBndrs'

[Patrick (@soulomoon)]

Patrick pushed to branch wip/T25647 at Glasgow Haskell Compiler / GHC


Commits:
484bef1c by Patrick at 2025-03-09T05:45:01+08:00
Refactor bindHsOuterTyVarBndrs'

- - - - -


1 changed file:

- compiler/GHC/Rename/HsType.hs


Changes:

=====================================
compiler/GHC/Rename/HsType.hs
=====================================
@@ -1128,10 +1128,10 @@ bindHsOuterTyVarBndrs' bind_fam doc mb_cls implicit_vars outer_bndrs thing_insid
           thing_inside $ HsOuterExplicit { hso_xexplicit = noExtField
                                         , hso_bndrs     = exp_bndrs'
                                         , hso_ximplicit = implicit_vars' }
-  where
-    fam_implicit_vars = case bind_fam of
-      BindFam -> filterFreeVarsToBind (mapMaybe hsLTyVarLocName $ hso_bndrs outer_bndrs) implicit_vars
-      NotBindFam -> []
+        where
+          fam_implicit_vars = case bind_fam of
+            BindFam -> filterFreeVarsToBind (mapMaybe hsLTyVarLocName exp_bndrs) implicit_vars
+            NotBindFam -> []
 
 -- See Note [Term variable capture and implicit quantification]
 warn_term_var_capture :: LocatedN RdrName -> RnM ()



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/484bef1c547b39bdf8acaa5491408c85ba6ee76d

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/484bef1c547b39bdf8acaa5491408c85ba6ee76d
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/20250308/b4cdbdaa/attachment-0001.html>