[Git][ghc/ghc][wip/T25657] Wibble

[Simon Peyton Jones (@simonpj)]

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


Commits:
165c93bf by Simon Peyton Jones at 2025-01-20T08:59:23+00:00
Wibble

- - - - -


1 changed file:

- compiler/GHC/Core/FamInstEnv.hs


Changes:

=====================================
compiler/GHC/Core/FamInstEnv.hs
=====================================
@@ -1228,10 +1228,10 @@ findBranch branches target_tys
        -> Maybe (BranchIndex, [Type], [Coercion])
     go (index, branch) other
       = let (CoAxBranch { cab_tvs = tpl_tvs, cab_cvs = tpl_cvs
-                        , cab_lhs = tpl_lhs
-                        , cab_incomps = incomps }) = branch
-            in_scope = mkInScopeSet (unionVarSets $
-                            map (tyCoVarsOfTypes . coAxBranchLHS) incomps)
+--                        , cab_incomps = incomps
+                        , cab_lhs = tpl_lhs }) = branch
+--            in_scope = mkInScopeSet (unionVarSets $
+--                            map (tyCoVarsOfTypes . coAxBranchLHS) incomps)
             -- See Note [Flattening type-family applications when matching instances]
             -- in GHC.Core.Unify
 --            flattened_target = flattenTys in_scope target_tys



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/165c93bfba2388df16dffe19a51d2d7b171d3bd3

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/165c93bfba2388df16dffe19a51d2d7b171d3bd3
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/20250120/547ae8f5/attachment-0001.html>