diff options
| author | Niklas Haas <git@nand.wakku.to> | 2014-02-15 08:41:40 +0100 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-02-15 21:56:18 +0000 |
| commit | 6b35adfb811d9e41e5bfa1c11963e441740c2836 (patch) | |
| tree | dc17a12c75235eb42ad9505176aa1b5097a7ede4 /html-test/src/TypeFamilies2.hs | |
| parent | 50d1d18cc70cf6c8ffcf247743cd8af0ff9aae16 (diff) | |
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>
Diffstat (limited to 'html-test/src/TypeFamilies2.hs')
| -rw-r--r-- | html-test/src/TypeFamilies2.hs | 5 |
1 files changed, 4 insertions, 1 deletions
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 |