From 6b35adfb811d9e41e5bfa1c11963e441740c2836 Mon Sep 17 00:00:00 2001 From: Niklas Haas Date: Sat, 15 Feb 2014 08:41:40 +0100 Subject: 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 --- html-test/src/TypeFamilies.hs | 8 ++++++++ html-test/src/TypeFamilies2.hs | 5 ++++- 2 files changed, 12 insertions(+), 1 deletion(-) (limited to 'html-test/src') 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 -- cgit v1.2.3