From 792b82861a8abd03579a281dfdcbbb7081668997 Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Fri, 29 May 2020 22:51:26 +0000 Subject: testsuite: Update expected output for simplified subsumption --- html-test/ref/Bug280.html | 6 +++--- html-test/src/FunArgs.hs | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) (limited to 'html-test') diff --git a/html-test/ref/Bug280.html b/html-test/ref/Bug280.html index b6994e7c..04571342 100644 --- a/html-test/ref/Bug280.html +++ b/html-test/ref/Bug280.html @@ -65,9 +65,9 @@ >

x :: [Char] :: String #

b -- ^ Second argument -> c -- ^ Third argument -> forall d. d -- ^ Result -h = undefined +h _ _ _ = undefined i :: forall a (b :: ()) d. (d ~ '()) -- cgit v1.2.3