diff options
| author | sheaf <sam.derbyshire@gmail.com> | 2021-06-09 20:43:42 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-06-10 13:54:05 -0400 |
| commit | 472c2bf003e9f3bb93b82265f2a0a7124f944421 (patch) | |
| tree | 74767fe0b48521254b22350d4b1f34a3957adc06 /testsuite/tests/dependent | |
| parent | 61c51c00b6e12e309bc5643e89330b93d86f5449 (diff) | |
| download | haskell-472c2bf003e9f3bb93b82265f2a0a7124f944421.tar.gz | |
Reword: representation instead of levity
fixes #19756, updates haddock submodule
Diffstat (limited to 'testsuite/tests/dependent')
| -rw-r--r-- | testsuite/tests/dependent/should_fail/T11473.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
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’ |