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/Bug548.html | 40 ++++---- html-test/ref/Bug923.html | 200 ++++++++++++++++++++++++++++++++++++++++ html-test/ref/FunArgs.html | 2 +- html-test/ref/TypeFamilies.html | 36 ++++---- html-test/src/Bug923.hs | 11 +++ 5 files changed, 250 insertions(+), 39 deletions(-) create mode 100644 html-test/ref/Bug923.html create mode 100644 html-test/src/Bug923.hs (limited to 'html-test') diff --git a/html-test/ref/Bug548.html b/html-test/ref/Bug548.html index d7e120c9..1a906cc3 100644 --- a/html-test/ref/Bug548.html +++ b/html-test/ref/Bug548.html @@ -517,29 +517,29 @@ >Type) = D1 ( ('MetaData "WrappedArrow" "Control.Applicative" "base" "WrappedArrow" "Control.Applicative" "base" 'True) (C1 ( ('MetaCons "WrapArrow" "WrapArrow" 'PrefixI 'True) (S1 ( ('MetaSel ( ('Just "unwrapArrow") "unwrapArrow") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1WrappedArrow a b c) = D1 ( ('MetaData "WrappedArrow" "Control.Applicative" "base" "WrappedArrow" "Control.Applicative" "base" 'True) (C1 ( ('MetaCons "WrapArrow" "WrapArrow" 'PrefixI 'True) (S1 ( ('MetaSel ( ('Just "unwrapArrow") "unwrapArrow") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0Bug923
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 diff --git a/html-test/ref/FunArgs.html b/html-test/ref/FunArgs.html index c9471477..59dfbb94 100644 --- a/html-test/ref/FunArgs.html +++ b/html-test/ref/FunArgs.html @@ -218,7 +218,7 @@ >:: forall (b :: ()). d ~ (b :: ()). d ~ '() 'XX >< 'XXX type 'XXX <> 'XX
type 'XXX <> 'XX = = 'X
Z -> Bat 'ZA
  • Z). {..} -> Bat 'ZB
    • Z -> Bat 'ZA
  • Z). {..} -> Bat 'ZB
    • type 'XXX <> 'XX
    type 'XXX <> 'XX = = 'X
    'XX >< 'XXX (*,*)) -> * where + T :: a -> T ('(,) a) + +-- | A promoted tuple type in an instance +instance Eq a => Eq (T ('(,) a)) where + T x == T y = x == y + -- cgit v1.2.3