From 4343f6c86225b6e283c73afcd8adc007fafebeff Mon Sep 17 00:00:00 2001 From: Mateusz Kowalczyk Date: Sun, 14 Jun 2015 10:31:18 +0100 Subject: Update tests for the CSS changes --- html-test/ref/TypeFamilies.html | 834 +++++++++++++++++++++------------------- 1 file changed, 449 insertions(+), 385 deletions(-) (limited to 'html-test/ref/TypeFamilies.html') diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html index f6fa43c7..a8456b6b 100644 --- a/html-test/ref/TypeFamilies.html +++ b/html-test/ref/TypeFamilies.html @@ -211,11 +211,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; >
Assoc * XAssoc * X

Test * XTest * X

(><) X XX XXX(><) X XX XXX 
type Foo X = Ytype Foo X = Y

data AssocD * X = AssocXdata AssocD * X = AssocX 
type AssocT * X = Foo * Xtype AssocT * X = Foo * X 
data Bat * X data Bat * X }

type Foo * X = Ytype Foo * X = Y

type (<>) * X a = Xtype (<>) * X a = X 
type (<>) X XXX XX = Xtype (<>) X XXX XX = X 
Assoc * YAssoc * Y

Test * YTest * Y

data Bar Ydata Bar Y 
data AssocD * Y = AssocYdata AssocD * Y = AssocY 
type AssocT * Y = Bat * Ytype AssocT * Y = Bat * Y 
data Bat * Y = BatY Ydata Bat * Y = BatY Y

type Foo * Y = Xtype Foo * Y = X

type (<>) * Y a = atype (<>) * Y a = a 
data Bat Z wheredata Bat Z where } -> Bat Z ZB

Test * YTest * Y

Test * XTest * X

type Foo * Y = Xtype Foo * Y = X

type Foo * X = Ytype Foo * X = Y

data Bat Z wheredata Bat Z where } -> Bat Z ZB

data Bat * Y = BatY Ydata Bat * Y = BatY Y

data Bat * X data Bat * X }

Assoc * YAssoc * Y

Assoc * XAssoc * X

type (<>) * Y a = atype (<>) * Y a = a 
type (<>) * X a = Xtype (<>) * X a = X 
type (<>) X XXX XX = Xtype (<>) X XXX XX = X 

Produced by Haddock version 2.15.0

version 2.16.1

(><) X XX XXX(><) X XX XXX