Simon Peyton Jones pushed to branch wip/T26746 at Glasgow Haskell Compiler / GHC Commits: a505c4e1 by Simon Peyton Jones at 2026-01-14T08:13:54+00:00 Wibble - - - - - 1 changed file: - compiler/GHC/Tc/Solver/Equality.hs Changes: ===================================== compiler/GHC/Tc/Solver/Equality.hs ===================================== @@ -357,9 +357,9 @@ can_eq_nc _rewritten _rdr_env _envs ev eq_rel ty1 _ ty2 _ -- You might think that representational role would also be OK, but -- see Note [Even more eager newtype decomposition] ok (ty1:tys1) (ty2:tys2) rs - | Phantom : rs <- r = ok tys1 tys2 rs - | ty1 `tcEqType` ty2 = ok tys1 tys2 (drop 1 rs) - | otherwise = False + | Phantom : rs' <- rs = ok tys1 tys2 rs' + | ty1 `tcEqType` ty2 = ok tys1 tys2 (drop 1 rs) + | otherwise = False ok [] [] _ = True ok _ _ _ = False -- Mis-matched lengths, just about possible because of -- kind polymorphism. Anyway False is a safe result! View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/a505c4e1468274b59b744ec305313771... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/a505c4e1468274b59b744ec305313771... You're receiving this email because of your account on gitlab.haskell.org.