Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC Commits: fc1d7f79 by Jade Lovelace at 2025-12-02T11:04:09-05:00 docs: fix StandaloneKindSignatures in DataKinds docs These should be `type` as otherwise GHC reports a duplicate definition error. - - - - - 1 changed file: - docs/users_guide/exts/data_kinds.rst Changes: ===================================== docs/users_guide/exts/data_kinds.rst ===================================== @@ -283,17 +283,17 @@ following ways: -- REJECTED: The kind mentions Symbol, which requires DataKinds to use in -- a kind position - data D2 :: Symbol -> Type + type D2 :: Symbol -> Type data D2 a -- ACCEPTED: The kind mentions a type synonym MyType that expands to -- Type, which doesn't require DataKinds - data D3 :: MyType -> Type + type D3 :: MyType -> Type data D3 a -- REJECTED: The kind mentions a type synonym MySymbol that expands to -- Symbol, which requires DataKinds to use in a kind position - data D4 :: MySymbol -> Type + type D4 :: MySymbol -> Type data D4 a Unique syntax for type-level lists and tuples View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/fc1d7f7966f56bbe5efaf2796c430dbe... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/fc1d7f7966f56bbe5efaf2796c430dbe... You're receiving this email because of your account on gitlab.haskell.org.