Open guibou opened 5 years ago
Haddock doesn't do a great job in general with data families and data instances. Some thoughts:
Type
is something added by Haddock (since all instances are reified from GHC internals) so we should always be able to link to it (perhaps it needs to be manually added to the renaming environment).D:R:BarBiz0
is a mess to look at. I don't think we ever provide anchors to derived names... Perhaps the warning should start by filtering out names which satisfy isDerivedOccName
?Bar
really should have a link destination. One day, when #897 gets merged, there will be a reasonable place to place such anchors.
Type
is something added by Haddock (since all instances are reified from GHC internals) so we should always be able to link to it (perhaps it needs to be manually added to the renaming environment).
My mistake for Type
, I had not the -i ...../base.haddock
list of flags.
@guibou is this still reproducible?
I see this issue a great deal when dealing with Generics. Specifically, when I use GeneralizedNewtypeDeriving and derive a Generic, it complains that it cannot find the link destination for the associated type family Rep instance.
Thanks for the confirmation. :)
The following code:
Generates the following warning:
When actually
Bar Biz
is visible, hence I don't understand the warning. That's similar to #1070, however I don't have any easy workaround for that one.