diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-11-21 18:50:40 +0100 |
|---|---|---|
| committer | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-11-23 00:57:53 +0100 |
| commit | f3a62e2acda1c4b316e0a390227c90018ff2c299 (patch) | |
| tree | 45b183959e81af8a62fbcfe8801eaaba0d3c610a /docs/users_guide/ghci.rst | |
| parent | 742d8b6049c30f3b0cd1704d7a34d865bef41712 (diff) | |
| download | haskell-f3a62e2acda1c4b316e0a390227c90018ff2c299.tar.gz | |
Misc cleanupwip/misc-fix
* Remove `getTag_RDR` (unused), `tidyKind` and `tidyOpenKind`
(already available as `tidyType` and `tidyOpenType`)
* Remove Note [Explicit Case Statement for Specificity].
Since 0a709dd9876e40 we require GHC 8.10 for bootstrapping.
* Change the warning to `cmpAltCon` to a panic.
This shouldn't happen. If it ever does, the code was wrong anyway:
it shouldn't always return `LT`, but rather `LT` in one case
and `GT` in the other case.
* Rename `verifyLinearConstructors` to `verifyLinearFields`
* Fix `Note [Local record selectors]` which was not referenced
* Remove vestiges of `type +v`
* Minor fixes to StaticPointers documentation, part of #15603
Diffstat (limited to 'docs/users_guide/ghci.rst')
| -rw-r--r-- | docs/users_guide/ghci.rst | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/docs/users_guide/ghci.rst b/docs/users_guide/ghci.rst index bec44f969a..72fba318bf 100644 --- a/docs/users_guide/ghci.rst +++ b/docs/users_guide/ghci.rst @@ -2948,11 +2948,6 @@ commonly used commands. *X> :type length length :: Foldable t => t a -> Int -.. ghci-cmd:: :type +v; ⟨expression⟩ - - Infers and prints the type of ⟨expression⟩, binding inferred type variables - with :ref:`*specified* visibility <inferred-vs-specified>`. - .. ghci-cmd:: :type +d; ⟨expression⟩ Infers and prints the type of ⟨expression⟩, instantiating *all* the forall |