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/TypeFamilies.html | 28 ++++++++++++++++ html-test/ref/TypeFamilies2.html | 72 ++++++++++++++++++++++++++++++++++++++++ 2 files changed, 100 insertions(+) (limited to 'html-test/ref') diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html index 65845102..53a8b9d3 100644 --- a/html-test/ref/TypeFamilies.html +++ b/html-test/ref/TypeFamilies.html @@ -233,6 +233,22 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; > type Foo X = Y

External instance

datadata Bar Y data
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