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

[Patrick (@soulomoon)]

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


Commits:
1468ce97 by Patrick at 2025-01-23T00:07:39+08:00
update note

- - - - -


1 changed file:

- compiler/GHC/Tc/TyCl.hs


Changes:

=====================================
compiler/GHC/Tc/TyCl.hs
=====================================
@@ -1976,7 +1976,7 @@ Again there are two cases to consider in `kcConDecl`:
   `S g a`) and, for newtypes, ensure that the arugment has that same kind.
 
   (KCD3) The tycon's result kind `tc_res_kind` is not used at all in the GADT
-  case except being newtype without user header kind signature(KCD4); rather it is
+  case except being newtype without user header kind signature; rather it is
   accessed via looking up S's kind in the type environment when kind-checking the
   result type of the data constructor.
 



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/1468ce9723add62f0200f1606826c4046cbbf190
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/20250122/9f4aef82/attachment.html>