diff options
Diffstat (limited to 'docs/users_guide/ghci.rst')
| -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. |