Reword: representation instead of levity

fixes #19756, updates haddock submodule

14 files changed, 40 insertions, 35 deletions

diff --git a/testsuite/tests/typecheck/should_fail/LevPolyLet.stderr b/testsuite/tests/typecheck/should_fail/LevPolyLet.stderr
index 8d01f4028b..73d37dae84 100644
--- a/testsuite/tests/typecheck/should_fail/LevPolyLet.stderr
+++ b/testsuite/tests/typecheck/should_fail/LevPolyLet.stderr
@@ -1,5 +1,5 @@
 LevPolyLet.hs:18:7:
-    A levity-polymorphic type is not allowed here:
+    A representation-polymorphic type is not allowed here:
       Type: a
       Kind: TYPE ('BoxedRep v)
     In the type of binder ‘x’
diff --git a/testsuite/tests/typecheck/should_fail/T11724.stderr b/testsuite/tests/typecheck/should_fail/T11724.stderr
index dbdbb6fdef..2971b27597 100644
--- a/testsuite/tests/typecheck/should_fail/T11724.stderr
+++ b/testsuite/tests/typecheck/should_fail/T11724.stderr
@@ -1,6 +1,6 @@
 
 T11724.hs:7:44: error:
-    • A levity-polymorphic type is not allowed here:
+    • A representation-polymorphic type is not allowed here:
         Type: a
         Kind: TYPE r
     • In the definition of data constructor ‘Foo’
diff --git a/testsuite/tests/typecheck/should_fail/T12709.stderr b/testsuite/tests/typecheck/should_fail/T12709.stderr
index 9d79d8dd0c..f8da5ea120 100644
--- a/testsuite/tests/typecheck/should_fail/T12709.stderr
+++ b/testsuite/tests/typecheck/should_fail/T12709.stderr
@@ -1,24 +1,24 @@
 
 T12709.hs:28:13: error:
-    A levity-polymorphic type is not allowed here:
+    A representation-polymorphic type is not allowed here:
       Type: a
       Kind: TYPE rep
     In the type of expression: 1
 
 T12709.hs:28:17: error:
-    A levity-polymorphic type is not allowed here:
+    A representation-polymorphic type is not allowed here:
       Type: a
       Kind: TYPE rep
     In the type of expression: 2
 
 T12709.hs:28:21: error:
-    A levity-polymorphic type is not allowed here:
+    A representation-polymorphic type is not allowed here:
       Type: a
       Kind: TYPE rep
     In the type of expression: 3
 
 T12709.hs:28:25: error:
-    A levity-polymorphic type is not allowed here:
+    A representation-polymorphic type is not allowed here:
       Type: a
       Kind: TYPE rep
     In the type of expression: 4
diff --git a/testsuite/tests/typecheck/should_fail/T12973.stderr b/testsuite/tests/typecheck/should_fail/T12973.stderr
index a6d97009cd..f062b1e222 100644
--- a/testsuite/tests/typecheck/should_fail/T12973.stderr
+++ b/testsuite/tests/typecheck/should_fail/T12973.stderr
@@ -1,12 +1,12 @@
 
 T12973.hs:13: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 expression: 3
 
 T12973.hs:13:11: 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 expression: 4
diff --git a/testsuite/tests/typecheck/should_fail/T13105.stderr b/testsuite/tests/typecheck/should_fail/T13105.stderr
index c54327ef70..5d2c74a85d 100644
--- a/testsuite/tests/typecheck/should_fail/T13105.stderr
+++ b/testsuite/tests/typecheck/should_fail/T13105.stderr
@@ -1,6 +1,6 @@
 
 T13105.hs:22:8: error:
-    A levity-polymorphic type is not allowed here:
+    A representation-polymorphic type is not allowed here:
       Type: Rep Int
       Kind: TYPE (RepRep Int)
     In the type of binder ‘n’
diff --git a/testsuite/tests/typecheck/should_fail/T13929.stderr b/testsuite/tests/typecheck/should_fail/T13929.stderr
index d1e1f63dd9..8fc7edab78 100644
--- a/testsuite/tests/typecheck/should_fail/T13929.stderr
+++ b/testsuite/tests/typecheck/should_fail/T13929.stderr
@@ -1,24 +1,24 @@
 
 T13929.hs:29:27: error:
-    A levity-polymorphic type is not allowed here:
+    A representation-polymorphic type is not allowed here:
       Type: GUnboxed f rf
       Kind: TYPE rf
     In the type of expression: gunbox x
 
 T13929.hs:29:37: error:
-    A levity-polymorphic type is not allowed here:
+    A representation-polymorphic type is not allowed here:
       Type: GUnboxed g rg
       Kind: TYPE rg
     In the type of expression: gunbox y
 
 T13929.hs:33:24:
-    A levity-polymorphic type is not allowed here:
+    A representation-polymorphic type is not allowed here:
       Type: GUnboxed f rf
       Kind: TYPE rf
     In the type of expression: gunbox l
 
 T13929.hs:34:26:
-    A levity-polymorphic type is not allowed here:
+    A representation-polymorphic type is not allowed here:
       Type: GUnboxed g rg
       Kind: TYPE rg
     In the type of expression: gunbox r
diff --git a/testsuite/tests/typecheck/should_fail/T17021.stderr b/testsuite/tests/typecheck/should_fail/T17021.stderr
index 52f48d2bed..8944876b3f 100644
--- a/testsuite/tests/typecheck/should_fail/T17021.stderr
+++ b/testsuite/tests/typecheck/should_fail/T17021.stderr
@@ -1,14 +1,16 @@
 
 T17021.hs:18:5: error:
-    Cannot use function with levity-polymorphic arguments:
+    Cannot use function with representation-polymorphic arguments:
       MkT :: Int -> T
-    (Note that levity-polymorphic primops such as 'coerce' and unboxed tuples
-    are eta-expanded internally because they must occur fully saturated.
+    (Note that representation-polymorphic primops,
+    such as 'coerce' and unboxed tuples, are eta-expanded
+    internally because they must occur fully saturated.
     Use -fprint-typechecker-elaboration to display the full expression.)
-    Levity-polymorphic arguments: Int :: TYPE (Id ('BoxedRep 'Lifted))
+    Representation-polymorphic arguments:
+      Int :: TYPE (Id ('BoxedRep 'Lifted))
 
 T17021.hs:18:9: error:
-    A levity-polymorphic type is not allowed here:
+    A representation-polymorphic type is not allowed here:
       Type: Int
       Kind: TYPE (Id ('BoxedRep 'Lifted))
     In the type of expression: 42
diff --git a/testsuite/tests/typecheck/should_fail/T17360.stderr b/testsuite/tests/typecheck/should_fail/T17360.stderr
index 9eccd7fe29..e3ed36f381 100644
--- a/testsuite/tests/typecheck/should_fail/T17360.stderr
+++ b/testsuite/tests/typecheck/should_fail/T17360.stderr
@@ -1,6 +1,6 @@
 
 T17360.hs:11:5: error:
-    A levity-polymorphic type is not allowed here:
+    A representation-polymorphic type is not allowed here:
       Type: Id a
       Kind: TYPE r
     In the type of binder ‘x’
diff --git a/testsuite/tests/typecheck/should_fail/T17817.stderr b/testsuite/tests/typecheck/should_fail/T17817.stderr
index 56753cb34b..8d1548e2c8 100644
--- a/testsuite/tests/typecheck/should_fail/T17817.stderr
+++ b/testsuite/tests/typecheck/should_fail/T17817.stderr
@@ -1,13 +1,14 @@
 
 T17817.hs:16:10: error:
-    Cannot use function with levity-polymorphic arguments:
+    Cannot use function with representation-polymorphic arguments:
       mkWeak#
         :: a
            -> b
            -> (State# RealWorld -> (# State# RealWorld, c #))
            -> State# RealWorld
            -> (# State# RealWorld, Weak# b #)
-    (Note that levity-polymorphic primops such as 'coerce' and unboxed tuples
-    are eta-expanded internally because they must occur fully saturated.
+    (Note that representation-polymorphic primops,
+    such as 'coerce' and unboxed tuples, are eta-expanded
+    internally because they must occur fully saturated.
     Use -fprint-typechecker-elaboration to display the full expression.)
-    Levity-polymorphic arguments: a :: TYPE ('BoxedRep l)
+    Representation-polymorphic arguments: a :: TYPE ('BoxedRep l)
diff --git a/testsuite/tests/typecheck/should_fail/T17817_elab.stderr b/testsuite/tests/typecheck/should_fail/T17817_elab.stderr
index aaa48448d2..0a03cf6080 100644
--- a/testsuite/tests/typecheck/should_fail/T17817_elab.stderr
+++ b/testsuite/tests/typecheck/should_fail/T17817_elab.stderr
@@ -1,10 +1,10 @@
 
 T17817_elab.hs:17:10: error:
-    Cannot use function with levity-polymorphic arguments:
+    Cannot use function with representation-polymorphic arguments:
       mkWeak# @l @a @b @c
         :: a
            -> b
            -> (State# RealWorld -> (# State# RealWorld, c #))
            -> State# RealWorld
            -> (# State# RealWorld, Weak# b #)
-    Levity-polymorphic arguments: a :: TYPE ('BoxedRep l)
+    Representation-polymorphic arguments: a :: TYPE ('BoxedRep l)
diff --git a/testsuite/tests/typecheck/should_fail/T18534.stderr b/testsuite/tests/typecheck/should_fail/T18534.stderr
index cd78fbf819..b5db0f02bc 100644
--- a/testsuite/tests/typecheck/should_fail/T18534.stderr
+++ b/testsuite/tests/typecheck/should_fail/T18534.stderr
@@ -1,6 +1,6 @@
 
 T18534.hs:7:27: error:
-    • A levity-polymorphic type is not allowed here:
+    • A representation-polymorphic type is not allowed here:
         Type: a
         Kind: TYPE r
     • In the definition of data constructor ‘Test’
diff --git a/testsuite/tests/typecheck/should_fail/T19615.stderr b/testsuite/tests/typecheck/should_fail/T19615.stderr
index b2e4f40231..c4a82800d2 100644
--- a/testsuite/tests/typecheck/should_fail/T19615.stderr
+++ b/testsuite/tests/typecheck/should_fail/T19615.stderr
@@ -1,6 +1,6 @@
 
 T19615.hs:17:20: error:
-    A levity-polymorphic type is not allowed here:
+    A representation-polymorphic type is not allowed here:
       Type: b
       Kind: TYPE r'
     In the type of expression: (f x)
diff --git a/testsuite/tests/typecheck/should_fail/UnliftedNewtypesCoerceFail.stderr b/testsuite/tests/typecheck/should_fail/UnliftedNewtypesCoerceFail.stderr
index 1c39c9133b..9867100a63 100644
--- a/testsuite/tests/typecheck/should_fail/UnliftedNewtypesCoerceFail.stderr
+++ b/testsuite/tests/typecheck/should_fail/UnliftedNewtypesCoerceFail.stderr
@@ -1,8 +1,9 @@
 
 UnliftedNewtypesCoerceFail.hs:15:8: error:
-    Cannot use function with levity-polymorphic arguments:
+    Cannot use function with representation-polymorphic arguments:
       coerce :: x -> y
-    (Note that levity-polymorphic primops such as 'coerce' and unboxed tuples
-    are eta-expanded internally because they must occur fully saturated.
+    (Note that representation-polymorphic primops,
+    such as 'coerce' and unboxed tuples, are eta-expanded
+    internally because they must occur fully saturated.
     Use -fprint-typechecker-elaboration to display the full expression.)
-    Levity-polymorphic arguments: x :: TYPE rep
+    Representation-polymorphic arguments: x :: TYPE rep
diff --git a/testsuite/tests/typecheck/should_fail/UnliftedNewtypesLevityBinder.stderr b/testsuite/tests/typecheck/should_fail/UnliftedNewtypesLevityBinder.stderr
index 70746fd60a..d82a35d122 100644
--- a/testsuite/tests/typecheck/should_fail/UnliftedNewtypesLevityBinder.stderr
+++ b/testsuite/tests/typecheck/should_fail/UnliftedNewtypesLevityBinder.stderr
@@ -1,8 +1,9 @@
 
 UnliftedNewtypesLevityBinder.hs:16:7: error:
-    Cannot use function with levity-polymorphic arguments:
+    Cannot use function with representation-polymorphic arguments:
       IdentC :: a -> Ident a
-    (Note that levity-polymorphic primops such as 'coerce' and unboxed tuples
-    are eta-expanded internally because they must occur fully saturated.
+    (Note that representation-polymorphic primops,
+    such as 'coerce' and unboxed tuples, are eta-expanded
+    internally because they must occur fully saturated.
     Use -fprint-typechecker-elaboration to display the full expression.)
-    Levity-polymorphic arguments: a :: TYPE r
+    Representation-polymorphic arguments: a :: TYPE r