diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2020-10-31 08:29:08 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-11-02 23:47:31 -0500 |
| commit | a9e5f52c571ae3dfd4826e10a256d1a265f7e058 (patch) | |
| tree | 271e7c7286019b16bf1e0441c6d63cdc911a2dc6 /docs | |
| parent | bfb1e272950169c17963adaf423890e47b908f4d (diff) | |
| download | haskell-a9e5f52c571ae3dfd4826e10a256d1a265f7e058.tar.gz | |
Expand type synonyms with :kind!
The User's Guide claims that `:kind!` should expand type synonyms,
but GHCi wasn't doing this in practice. Let's just update the implementation
to match the specification in the User's Guide.
Fixes #13795. Fixes #18828.
Co-authored-by: Ryan Scott <ryan.gl.scott@gmail.com>
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/9.2.1-notes.rst | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/users_guide/9.2.1-notes.rst b/docs/users_guide/9.2.1-notes.rst index aa495444db..4ba4fc911f 100644 --- a/docs/users_guide/9.2.1-notes.rst +++ b/docs/users_guide/9.2.1-notes.rst @@ -37,6 +37,9 @@ Compiler - Type checker plugins which work with the natural numbers now should use ``naturalTy`` kind instead of ``typeNatKind``, which has been removed. +- GHCi's ``:kind!`` command now expands through type synonyms in addition to type + families. See :ghci-cmd:`:kind`. + ``ghc-prim`` library ~~~~~~~~~~~~~~~~~~~~ |