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

[Patrick (@soulomoon)]

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


Commits:
37617910 by Patrick at 2025-01-17T19:06:47+08:00
add comment

- - - - -


1 changed file:

- compiler/GHC/Tc/TyCl.hs


Changes:

=====================================
compiler/GHC/Tc/TyCl.hs
=====================================
@@ -1836,6 +1836,9 @@ kcConGADTArgs exp_kind con_args = case con_args of
   RecConGADT _ (L _ flds) -> kcConArgTys exp_kind $
                              map (hsLinear . cd_fld_type . unLoc) flds
 
+-- Specifically for GADT style declarations
+-- do we have lhs user supplied kind signature?
+-- as in `data xxx :: UserSuppliedKind where ...`
 data LHSUserSuppliedResultKind = LHSUserSuppliedResultKind | NoLHSUserSuppliedResultKind deriving Eq
 
 kcConDecls :: TcKind  -- Result kind of tycon



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/37617910bb931c80f82d2473caed24f51b074637
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/21e37236/attachment-0001.html>