From b8efaf4ead90c5c95367cc479da522b820b5004e Mon Sep 17 00:00:00 2001 From: Niklas Haas Date: Tue, 11 Mar 2014 08:42:34 +0100 Subject: Filter family instances of hidden types Currently, this check does not extend to hidden right hand sides, although it probably should hide them in that case. --- html-test/src/TypeFamilies2.hs | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'html-test/src') diff --git a/html-test/src/TypeFamilies2.hs b/html-test/src/TypeFamilies2.hs index 093f77c2..34790a51 100644 --- a/html-test/src/TypeFamilies2.hs +++ b/html-test/src/TypeFamilies2.hs @@ -3,6 +3,9 @@ -- in type instances. The expected behaviour is -- that we get the instance, Y is not linked and -- Haddock shows a linking warning. +-- +-- The other families and instances that are not exported should not +-- show up at all module TypeFamilies2 (X, Foo, Bar) where data X @@ -10,6 +13,11 @@ data Y type family Foo a type instance Foo X = Y +type instance Foo Y = X -- Should be hidden data family Bar a data instance Bar X = BarX Y + +type family Invisible a +type instance Invisible X = Y +type instance Invisible Y = X -- cgit v1.2.3