[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:
8c22eaaf by Patrick at 2025-01-17T19:07:35+08:00
cleanup

- - - - -


1 changed file:

- compiler/GHC/Tc/TyCl.hs


Changes:

=====================================
compiler/GHC/Tc/TyCl.hs
=====================================
@@ -4695,7 +4695,6 @@ checkValidDataCon dflags existential_ok tc con
               res_ty_tmpl = mkFamilyTyConApp tc (mkTyVarTys tc_tvs)
               arg_tys     = dataConOrigArgTys con
               orig_res_ty = dataConOrigResTy  con
-              -- dc_eq_spec = dcEqSpec con
 
         ; traceTc "checkValidDataCon" (vcat
               [ ppr con, ppr tc, ppr tc_tvs
@@ -4864,9 +4863,7 @@ checkNewDataCon con
         ; checkNoErrs $
           -- Fail here if the newtype is invalid: subsequent code in
           -- checkValidDataCon can fall over if it comes across an invalid newtype.
-     do {
-        traceTc "checkNewDataCon > eq_spec:" (ppr eq_spec)
-        ; case arg_tys of
+     do { case arg_tys of
             [Scaled arg_mult _] ->
               unless (ok_mult arg_mult) $
               addErrTc $



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/8c22eaaf78ff33e004e1db0ab11c84f503ec62f8
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/508c192c/attachment-0001.html>