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 ++++++++ 1 file changed, 8 insertions(+) (limited to 'html-test/src/TypeFamilies.hs') 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 -- cgit v1.2.3