You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{-# LANGUAGE TypeFamilies #-}
moduleNewTypeExportwhereclassFootwheredataBartdataBizinstanceFooBizwheredataBarBiz=BarBiz
Generates the following warning:
Warning: NewTypeExport: could not find link destinations for:
Type D:R:BarBiz0 Bar
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.
The text was updated successfully, but these errors were encountered:
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 Better data family rendering #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.
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.The text was updated successfully, but these errors were encountered: