[Git][ghc/ghc][wip/soulomoon/25647-allow-newtype-instance-in-gadt-syntax] cleanup

[Patrick (@soulomoon)]

Patrick pushed to branch wip/soulomoon/25647-allow-newtype-instance-in-gadt-syntax at Glasgow Haskell Compiler / GHC


Commits:
2ebb04e8 by Patrick at 2025-01-17T19:07:58+08:00
cleanup

- - - - -


1 changed file:

- compiler/GHC/Tc/TyCl.hs


Changes:

=====================================
compiler/GHC/Tc/TyCl.hs
=====================================
@@ -1885,7 +1885,6 @@ kcConDecl new_or_data usrk tc_res_kind
     bindOuterSigTKBndrs_Tv outer_bndrs $
         -- Why "_Tv"?  See Note [Using TyVarTvs for kind-checking GADTs]
     do { _ <- tcHsContext cxt
-    -- find the lhs signature
        ; traceTc "kcConDecl:GADT {" (ppr names $$ ppr res_ty $$ ppr tc_res_kind)
        ; con_res_kind <-  if NewType == new_or_data && NoLHSUserSuppliedResultKind == usrk
                           then return tc_res_kind



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/2ebb04e8480b7368a87dad4338590864cb45ca99
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/20250117/83f1c767/attachment.html>