diff options
Diffstat (limited to 'html-test')
-rw-r--r-- | html-test/src/TypeFamilies2.hs | 8 |
1 files changed, 8 insertions, 0 deletions
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 |