diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-12-23 10:23:20 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-23 10:23:20 -0500 |
| commit | 7dd0a79cce7c4c048e7c145c9f378da3a96392d0 (patch) | |
| tree | 30d9449b76bd90bae0030651e839e7f98cada91f /html-test/ref/Bug548.html | |
| parent | ed43757aa371f9a532665783e27cff1703b4ac90 (diff) | |
Properly synify and render promoted type variables (#985)
* Synify and render properly promoted type variables
Fixes #923.
* Accept output
Diffstat (limited to 'html-test/ref/Bug548.html')
| -rw-r--r-- | html-test/ref/Bug548.html | 40 |
1 files changed, 20 insertions, 20 deletions
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</a >) = <a href="#" title="GHC.Generics" >D1</a - > (<a href="#" title="GHC.Generics" + > ('<a href="#" title="GHC.Generics" >MetaData</a - > "WrappedArrow" "Control.Applicative" "base" <a href="#" title="Data.Bool" + > "WrappedArrow" "Control.Applicative" "base" '<a href="#" title="Data.Bool" >True</a >) (<a href="#" title="GHC.Generics" >C1</a - > (<a href="#" title="GHC.Generics" + > ('<a href="#" title="GHC.Generics" >MetaCons</a - > "WrapArrow" <a href="#" title="GHC.Generics" + > "WrapArrow" '<a href="#" title="GHC.Generics" >PrefixI</a - > <a href="#" title="Data.Bool" + > '<a href="#" title="Data.Bool" >True</a >) (<a href="#" title="GHC.Generics" >S1</a - > (<a href="#" title="GHC.Generics" + > ('<a href="#" title="GHC.Generics" >MetaSel</a - > (<a href="#" title="GHC.Maybe" + > ('<a href="#" title="GHC.Maybe" >Just</a - > "unwrapArrow") <a href="#" title="GHC.Generics" + > "unwrapArrow") '<a href="#" title="GHC.Generics" >NoSourceUnpackedness</a - > <a href="#" title="GHC.Generics" + > '<a href="#" title="GHC.Generics" >NoSourceStrictness</a - > <a href="#" title="GHC.Generics" + > '<a href="#" title="GHC.Generics" >DecidedLazy</a >) (<a href="#" title="GHC.Generics" >Rec1</a @@ -585,29 +585,29 @@ >WrappedArrow</a > a b c) = <a href="#" title="GHC.Generics" >D1</a - > (<a href="#" title="GHC.Generics" + > ('<a href="#" title="GHC.Generics" >MetaData</a - > "WrappedArrow" "Control.Applicative" "base" <a href="#" title="Data.Bool" + > "WrappedArrow" "Control.Applicative" "base" '<a href="#" title="Data.Bool" >True</a >) (<a href="#" title="GHC.Generics" >C1</a - > (<a href="#" title="GHC.Generics" + > ('<a href="#" title="GHC.Generics" >MetaCons</a - > "WrapArrow" <a href="#" title="GHC.Generics" + > "WrapArrow" '<a href="#" title="GHC.Generics" >PrefixI</a - > <a href="#" title="Data.Bool" + > '<a href="#" title="Data.Bool" >True</a >) (<a href="#" title="GHC.Generics" >S1</a - > (<a href="#" title="GHC.Generics" + > ('<a href="#" title="GHC.Generics" >MetaSel</a - > (<a href="#" title="GHC.Maybe" + > ('<a href="#" title="GHC.Maybe" >Just</a - > "unwrapArrow") <a href="#" title="GHC.Generics" + > "unwrapArrow") '<a href="#" title="GHC.Generics" >NoSourceUnpackedness</a - > <a href="#" title="GHC.Generics" + > '<a href="#" title="GHC.Generics" >NoSourceStrictness</a - > <a href="#" title="GHC.Generics" + > '<a href="#" title="GHC.Generics" >DecidedLazy</a >) (<a href="#" title="GHC.Generics" >Rec0</a |