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/ref/TypeFamilies2.html | 72 ++++++++++++++++++++++++++++++++++++++++ 1 file changed, 72 insertions(+) (limited to 'html-test/ref/TypeFamilies2.html') diff --git a/html-test/ref/TypeFamilies2.html b/html-test/ref/TypeFamilies2.html index eaa0772f..d822e19e 100644 --- a/html-test/ref/TypeFamilies2.html +++ b/html-test/ref/TypeFamilies2.html @@ -57,6 +57,20 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies2.html");} >
data Bar X = BarX Y 
type 
type Foo X = Y

External instance

data family Bar a

Instances

data Bar X = BarX Y 
data Bar Y