[Git][ghc/ghc][wip/T22194-flags] Wibble

[Simon Peyton Jones (@simonpj)]

Simon Peyton Jones pushed to branch wip/T22194-flags at Glasgow Haskell Compiler / GHC


Commits:
eae273aa by Simon Peyton Jones at 2023-03-17T00:00:45+00:00
Wibble

- - - - -


1 changed file:

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


Changes:

=====================================
compiler/GHC/Tc/Utils/Unify.hs
=====================================
@@ -2580,7 +2580,7 @@ simpleUnifyCheck fam_ok lhs_tv rhs
                           go w && go a && go r
     go (TyConApp tc tys)
       | lhs_tv_is_concrete, not (isConcreteTyCon tc) = False
-      | isTypeFamilyTyCon, not fam_ok                = False
+      | not fam_ok, isTypeFamilyTyCon tc             = False
       | otherwise                                    = all go tys
     go (AppTy t1 t2)    = go t1 && go t2
     go (ForAllTy {})    = False



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/eae273aab82d12d5de0611c7beee0c67dbeb4ad6
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/20230316/2aa9f389/attachment.html>