Add test case for inter-module type/data family instances

These should show up in every place where the class is visible, and
indeed they do right now.

Signed-off-by: Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>

2 files changed, 12 insertions, 1 deletions

diff --git a/html-test/src/TypeFamilies.hs b/html-test/src/TypeFamilies.hs
index e7cc0458..5cd4480e 100644
--- a/html-test/src/TypeFamilies.hs
+++ b/html-test/src/TypeFamilies.hs
@@ -3,6 +3,8 @@
 -- | Doc for: module TypeFamilies
 module TypeFamilies where
 
+import qualified TypeFamilies2 as TF
+
 -- | Doc for: data X
 data X
   = X   -- ^ Doc for: X
@@ -76,3 +78,9 @@ type instance XXX <> XX = 'X
 
 class (><) (a :: k) (b :: k)
 instance XX >< XXX
+
+-- | External instance
+
+type instance TF.Foo X = Y
+
+data instance TF.Bar Y
diff --git a/html-test/src/TypeFamilies2.hs b/html-test/src/TypeFamilies2.hs
index 718e11dc..093f77c2 100644
--- a/html-test/src/TypeFamilies2.hs
+++ b/html-test/src/TypeFamilies2.hs
@@ -3,10 +3,13 @@
 -- in type instances. The expected behaviour is
 -- that we get the instance, Y is not linked and
 -- Haddock shows a linking warning.
-module TypeFamilies2 (X, Foo) where
+module TypeFamilies2 (X, Foo, Bar) where
 
 data X
 data Y
 
 type family Foo a
 type instance Foo X = Y
+
+data family Bar a
+data instance Bar X = BarX Y