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/src/FunArgs.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'html-test/src') diff --git a/html-test/src/FunArgs.hs b/html-test/src/FunArgs.hs index 24e1ccff..e20bcda7 100644 --- a/html-test/src/FunArgs.hs +++ b/html-test/src/FunArgs.hs @@ -22,7 +22,7 @@ h :: forall a b c -> b -- ^ Second argument -> c -- ^ Third argument -> forall d. d -- ^ Result -h = undefined +h _ _ _ = undefined i :: forall a (b :: ()) d. (d ~ '()) -- cgit v1.2.3