From 7dd0a79cce7c4c048e7c145c9f378da3a96392d0 Mon Sep 17 00:00:00 2001 From: Alec Theriault Date: Sun, 23 Dec 2018 10:23:20 -0500 Subject: Properly synify and render promoted type variables (#985) * Synify and render properly promoted type variables Fixes #923. * Accept output --- html-test/ref/Bug923.html | 200 ++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 200 insertions(+) create mode 100644 html-test/ref/Bug923.html (limited to 'html-test/ref/Bug923.html') diff --git a/html-test/ref/Bug923.html b/html-test/ref/Bug923.html new file mode 100644 index 00000000..1ad81835 --- /dev/null +++ b/html-test/ref/Bug923.html @@ -0,0 +1,200 @@ +Bug923
Safe HaskellSafe

Bug923

Synopsis
  • data T :: (* -> (*, *)) -> * where

Documentation

data T :: (* -> (*, *)) -> * where #

A promoted tuple type

Constructors

T :: a -> T ('(,) a)

Instances

Instances details
Eq a => Eq (T ('(,) a :: Type -> (Type, Type))) #

A promoted tuple type in an instance

Instance details

Defined in Bug923

Methods

(==) :: T ('(,) a) -> T ('(,) a) -> Bool #

(/=) :: T ('(,) a) -> T ('(,) a) -> Bool #

\ No newline at end of file -- cgit v1.2.3