From 472c2bf003e9f3bb93b82265f2a0a7124f944421 Mon Sep 17 00:00:00 2001 From: sheaf Date: Wed, 9 Jun 2021 20:43:42 +0200 Subject: Reword: representation instead of levity fixes #19756, updates haddock submodule --- testsuite/tests/dependent/should_fail/T11473.stderr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'testsuite/tests/dependent') diff --git a/testsuite/tests/dependent/should_fail/T11473.stderr b/testsuite/tests/dependent/should_fail/T11473.stderr index 3252452eb2..431c2dff92 100644 --- a/testsuite/tests/dependent/should_fail/T11473.stderr +++ b/testsuite/tests/dependent/should_fail/T11473.stderr @@ -1,6 +1,6 @@ T11473.hs:19:7: error: - A levity-polymorphic type is not allowed here: + A representation-polymorphic type is not allowed here: Type: a Kind: TYPE r In the type of binder ‘x’ -- cgit v1.2.1