aboutsummaryrefslogtreecommitdiff
path: root/html-test/src
diff options
context:
space:
mode:
Diffstat (limited to 'html-test/src')
-rw-r--r--html-test/src/TypeFamilies.hs8
-rw-r--r--html-test/src/TypeFamilies2.hs5
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