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/FunArgs.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'html-test/ref/FunArgs.html') 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 ~ '()