From 059acb11d6134ee0d896bcf73c870958557a3909 Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Tue, 1 Dec 2020 20:18:37 +0000 Subject: Update output for nullary TyConApp optimisation (ghc/ghc!2952) --- html-test/ref/TypeFamilies.html | 210 ++++++++++++++++++++-------------------- 1 file changed, 105 insertions(+), 105 deletions(-) (limited to 'html-test') diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html index 15eed97d..11da315e 100644 --- a/html-test/ref/TypeFamilies.html +++ b/html-test/ref/TypeFamilies.html @@ -222,37 +222,7 @@ > 'XX >< 'XXX # 
Instance details

Defined in TypeFamilies

Assoc
Instance details

Test

Instance details

type Foo 'XX X>< 'XXX #

External instance

 
Instance details

Defined in TypeFamilies

type Foo X = Y
type 'XXX Foo <> 'XXX # 

External instance

Instance details

type 'XXX Foo <> 'XX = 'X = Y
data
Instance details

type

Instance details

data

Instance details

type

Instance details

type

Instance details

type 'XXX <> 'XX # 
Instance details

Defined in TypeFamilies

type 'XXX <> 'XX = 'X
type 'XXX Y <> 'XX (a :: Type) #
type 'XXX Y <> 'XX = 'X
(a :: Type) = a
type YX <> (a :: type YX <> (a :: Type) = a) = X
type X 'XXX <> (a :: Type) 'XX #
type X 'XXX <> (a :: Type) = 'XX = 'X