:doc shouldn't report <has no documentation> for a data constructor when it can show docs for the type constructor of the same name and type
λ import Data.Monoid
λ :doc Sum
<has no documentation>
Monoid under addition.
>>> getSum (Sum 1 <> Sum 2 <> mempty)
3I think it would be nicer if we could elide the <has no documentation> message for the Sum data constructor here.
Trac metadata
| Trac field | Value |
|---|---|
| Version | 8.6.1 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | GHCi |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |