[Git][ghc/ghc][wip/T20666] Wibble

Simon Peyton Jones (@simonpj) gitlab at gitlab.haskell.org
Tue Jan 3 20:26:52 UTC 2023



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


Commits:
e9be1b61 by Simon Peyton Jones at 2023-01-03T20:26:13+00:00
Wibble

- - - - -


1 changed file:

- compiler/GHC/Tc/Validity.hs


Changes:

=====================================
compiler/GHC/Tc/Validity.hs
=====================================
@@ -2151,7 +2151,7 @@ checkFamInstRhs lhs_tc lhs_tys famInsts
   where
    lhs_size = pSizeTypes lhs_tys
    check (tc, tys)
-      | not (stuckTypeFamily tc)
+      | not (isStuckTypeFamily tc)
       , Just ps_failure <- pSizeTypes tys `ltPatersonSize` lhs_size
       = Just $ mkFamSizeError ps_failure (TyConApp lhs_tc lhs_tys) (TyConApp tc tys)
       | otherwise



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/e9be1b61b3132952ce3b7e07a8e42b6f9591a9dc
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/20230103/10952f7e/attachment.html>


More information about the ghc-commits mailing list