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/th | |
| parent | 61c51c00b6e12e309bc5643e89330b93d86f5449 (diff) | |
| download | haskell-472c2bf003e9f3bb93b82265f2a0a7124f944421.tar.gz | |
Reword: representation instead of levity
fixes #19756, updates haddock submodule
Diffstat (limited to 'testsuite/tests/th')
| -rw-r--r-- | testsuite/tests/th/T19709a.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/th/T19709b.hs | 4 | ||||
| -rw-r--r-- | testsuite/tests/th/T19709b.stderr | 2 |
3 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/th/T19709a.stderr b/testsuite/tests/th/T19709a.stderr index 4cb72aeed7..6594949d2b 100644 --- a/testsuite/tests/th/T19709a.stderr +++ b/testsuite/tests/th/T19709a.stderr @@ -1,6 +1,6 @@ T19709a.hs:8:14: 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’ diff --git a/testsuite/tests/th/T19709b.hs b/testsuite/tests/th/T19709b.hs index afc9ed5769..629172a892 100644 --- a/testsuite/tests/th/T19709b.hs +++ b/testsuite/tests/th/T19709b.hs @@ -6,7 +6,7 @@ import GHC.Exts import Language.Haskell.TH $( let levfun :: forall (r :: RuntimeRep) (a :: TYPE r). a -> () - levfun = error "e1" -- NB: this, so far, is OK: no levity-polymorphic binder + levfun = error "e1" -- NB: this, so far, is OK: no representation-polymorphic binder - in levfun (error @Any "e2") -- but this is very naughty: levity-polymorphic argument + in levfun (error @Any "e2") -- but this is very naughty: representation-polymorphic argument `seq` return [] ) diff --git a/testsuite/tests/th/T19709b.stderr b/testsuite/tests/th/T19709b.stderr index 78405ebaea..fb2d55a917 100644 --- a/testsuite/tests/th/T19709b.stderr +++ b/testsuite/tests/th/T19709b.stderr @@ -1,6 +1,6 @@ T19709b.hs:11:14: error: - A levity-polymorphic type is not allowed here: + A representation-polymorphic type is not allowed here: Type: Any Kind: TYPE Any In the type of expression: (error @Any "e2") |