From f161e890dfd41fd9735f4e259fffe2ce6d00ec1a Mon Sep 17 00:00:00 2001 From: sheaf Date: Mon, 17 Jan 2022 10:45:35 +0100 Subject: Use diagnostic infrastructure in GHC.Tc.Errors --- testsuite/tests/typecheck/should_fail/T10534.stderr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'testsuite/tests/typecheck/should_fail/T10534.stderr') diff --git a/testsuite/tests/typecheck/should_fail/T10534.stderr b/testsuite/tests/typecheck/should_fail/T10534.stderr index 86020af877..a8888ba5be 100644 --- a/testsuite/tests/typecheck/should_fail/T10534.stderr +++ b/testsuite/tests/typecheck/should_fail/T10534.stderr @@ -1,6 +1,6 @@ T10534a.hs:10:9: error: - • Could not deduce: Coercible a b arising from a use of ‘coerce’ + • Could not deduce (Coercible a b) arising from a use of ‘coerce’ from the context: Coercible (DF a) (DF b) bound by the type signature for: silly :: forall a b. Coercible (DF a) (DF b) => a -> b -- cgit v1.2.1