: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)
 3

I 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

changed weight to 5

added GHCi Tbug Trac import newcomer labels

added error messages label

added Pnormal label

Newcomer here. I'm going to pick this up.

mentioned in merge request !4562 (closed)

mentioned in commit cf071848

mentioned in commit 4548d1f8

mentioned in commit 46f1da59