diff options
| author | Niklas Haas <git@nand.wakku.to> | 2014-03-11 08:42:34 +0100 |
|---|---|---|
| committer | Niklas Haas <git@nand.wakku.to> | 2014-03-11 10:26:05 +0100 |
| commit | b8efaf4ead90c5c95367cc479da522b820b5004e (patch) | |
| tree | 3b02d506f2d5d2adbac695dcaa8ed235454cbd31 /html-test/src | |
| parent | 72f655f5a4429403674521d251e6cccf62d76747 (diff) | |
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.
Diffstat (limited to 'html-test/src')
| -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 |