diff options
| author | Sasha Bogicevic <sasa.bogicevic@pm.me> | 2022-07-14 12:02:28 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-08-19 18:29:57 -0400 |
| commit | ab3e0f5a02f6a1b63407e08bb97a228a76c27abd (patch) | |
| tree | 1b7d64f6a2acd5137b02f47317cb0afe65b8ac63 /docs | |
| parent | 51ffd00906d1c75dc72c71ba4216b480996c8ce2 (diff) | |
| download | haskell-ab3e0f5a02f6a1b63407e08bb97a228a76c27abd.tar.gz | |
19217 Implicitly quantify type variables in :kind command
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/ghci.rst | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/docs/users_guide/ghci.rst b/docs/users_guide/ghci.rst index bdce8d5933..cb09eab3ff 100644 --- a/docs/users_guide/ghci.rst +++ b/docs/users_guide/ghci.rst @@ -2615,6 +2615,14 @@ commonly used commands. ghci> :k T Int T Int :: * -> * + Free type variables are also implicitly quantified, same as if you wrote + ``:k forall a. [a]`` so this also works: + + .. code-block:: none + + ghci> :k [a] + [a] :: * + If you specify the optional "``!``", GHC will in addition normalise the type by expanding out type synonyms and evaluating type-function applications, and display the normalised result. |