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 ++++++++++++++++++++-------------------- 1 file changed, 20 insertions(+), 20 deletions(-) (limited to 'html-test/ref/Bug548.html') 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) (Rec0