[Git][ghc/ghc][master] Kind signatures docs: mention that they're allowed in newtypes

Marge Bot (@marge-bot) gitlab at gitlab.haskell.org
Mon Jan 1 17:07:10 UTC 2024



Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC


Commits:
8b340bc7 by Ömer Sinan Ağacan at 2024-01-01T12:06:29-05:00
Kind signatures docs: mention that they're allowed in newtypes

- - - - -


1 changed file:

- docs/users_guide/exts/kind_signatures.rst


Changes:

=====================================
docs/users_guide/exts/kind_signatures.rst
=====================================
@@ -37,6 +37,10 @@ This extension enables kind signatures in the following places:
 
          data Set (cxt :: Type -> Type) a = Set [a]
 
+-  ``newtype`` declarations: ::
+
+         newtype Set (cxt :: Type -> Type) a = Set [a]
+
 -  ``type`` declarations: ::
 
          type T (f :: Type -> Type) = f Int



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/8b340bc73c4d77ba312a6390335ba50fb5104004
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/20240101/0680d5cb/attachment.html>


More information about the ghc-commits mailing list