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/TypeFamilies.html | 36 ++++++++++++++++++------------------ 1 file changed, 18 insertions(+), 18 deletions(-) (limited to 'html-test/ref/TypeFamilies.html') diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html index b501a9a0..492b7ec1 100644 --- a/html-test/ref/TypeFamilies.html +++ b/html-test/ref/TypeFamilies.html @@ -224,11 +224,11 @@ > '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