[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