Testsuite: delete Windows line endings [skip ci] (#11631)

19 files changed, 143 insertions, 143 deletions

diff --git a/testsuite/tests/typecheck/should_fail/T11355.stderr b/testsuite/tests/typecheck/should_fail/T11355.stderr
index e902344631..68375400a8 100644
--- a/testsuite/tests/typecheck/should_fail/T11355.stderr
+++ b/testsuite/tests/typecheck/should_fail/T11355.stderr
@@ -1,9 +1,9 @@
-

-T11355.hs:5:7: error:

-    • Illegal polymorphic type: forall (a :: TYPE t0). a

-      GHC doesn't yet support impredicative polymorphism

-    • In the expression:

-        const @_ @((forall a. a) -> forall a. a) () (id @(forall a. a))

-      In an equation for ‘foo’:

-          foo

-            = const @_ @((forall a. a) -> forall a. a) () (id @(forall a. a))

+
+T11355.hs:5:7: error:
+    • Illegal polymorphic type: forall (a :: TYPE t0). a
+      GHC doesn't yet support impredicative polymorphism
+    • In the expression:
+        const @_ @((forall a. a) -> forall a. a) () (id @(forall a. a))
+      In an equation for ‘foo’:
+          foo
+            = const @_ @((forall a. a) -> forall a. a) () (id @(forall a. a))
diff --git a/testsuite/tests/typecheck/should_fail/T2538.stderr b/testsuite/tests/typecheck/should_fail/T2538.stderr
index 82ff1c74f4..dc87c5d9c9 100644
--- a/testsuite/tests/typecheck/should_fail/T2538.stderr
+++ b/testsuite/tests/typecheck/should_fail/T2538.stderr
@@ -1,18 +1,18 @@
-

-T2538.hs:6:6: error:

-    • Illegal qualified type: Eq a => a -> a

-      Perhaps you intended to use RankNTypes or Rank2Types

-    • In the type signature:

-        f :: (Eq a => a -> a) -> Int

-

-T2538.hs:9:6: error:

-    • Illegal qualified type: Eq a => a -> a

-      GHC doesn't yet support impredicative polymorphism

-    • In the type signature:

-        g :: [Eq a => a -> a] -> Int

-

-T2538.hs:12:6: error:

-    • Illegal qualified type: Eq a => a -> a

-      GHC doesn't yet support impredicative polymorphism

-    • In the type signature:

-        h :: Ix (Eq a => a -> a) => Int

+
+T2538.hs:6:6: error:
+    • Illegal qualified type: Eq a => a -> a
+      Perhaps you intended to use RankNTypes or Rank2Types
+    • In the type signature:
+        f :: (Eq a => a -> a) -> Int
+
+T2538.hs:9:6: error:
+    • Illegal qualified type: Eq a => a -> a
+      GHC doesn't yet support impredicative polymorphism
+    • In the type signature:
+        g :: [Eq a => a -> a] -> Int
+
+T2538.hs:12:6: error:
+    • Illegal qualified type: Eq a => a -> a
+      GHC doesn't yet support impredicative polymorphism
+    • In the type signature:
+        h :: Ix (Eq a => a -> a) => Int
diff --git a/testsuite/tests/typecheck/should_fail/T5957.stderr b/testsuite/tests/typecheck/should_fail/T5957.stderr
index 88e09044ec..8239d56de9 100644
--- a/testsuite/tests/typecheck/should_fail/T5957.stderr
+++ b/testsuite/tests/typecheck/should_fail/T5957.stderr
@@ -1,6 +1,6 @@
-

-T5957.hs:3:9: error:

-    • Illegal qualified type: Show a => a -> String

-      Perhaps you intended to use RankNTypes or Rank2Types

-    • In the type signature:

-        flex :: Int -> Show a => a -> String

+
+T5957.hs:3:9: error:
+    • Illegal qualified type: Show a => a -> String
+      Perhaps you intended to use RankNTypes or Rank2Types
+    • In the type signature:
+        flex :: Int -> Show a => a -> String
diff --git a/testsuite/tests/typecheck/should_fail/T7019.stderr b/testsuite/tests/typecheck/should_fail/T7019.stderr
index 4e3bf7cfb4..2db5bbb90b 100644
--- a/testsuite/tests/typecheck/should_fail/T7019.stderr
+++ b/testsuite/tests/typecheck/should_fail/T7019.stderr
@@ -1,5 +1,5 @@
-

-T7019.hs:11:1: error:

-    • Illegal polymorphic type: forall a. c (Free c a)

-      A constraint must be a monotype

-    • In the type synonym declaration for ‘C’

+
+T7019.hs:11:1: error:
+    • Illegal polymorphic type: forall a. c (Free c a)
+      A constraint must be a monotype
+    • In the type synonym declaration for ‘C’
diff --git a/testsuite/tests/typecheck/should_fail/T7019a.stderr b/testsuite/tests/typecheck/should_fail/T7019a.stderr
index 0cb36d3325..a50fbcf240 100644
--- a/testsuite/tests/typecheck/should_fail/T7019a.stderr
+++ b/testsuite/tests/typecheck/should_fail/T7019a.stderr
@@ -1,7 +1,7 @@
-

-T7019a.hs:11:1: error:

-    • Illegal polymorphic type: forall b. Context (Associated a b)

-      A constraint must be a monotype

-    • In the context: forall b. Context (Associated a b)

-      While checking the super-classes of class ‘Class’

-      In the class declaration for ‘Class’

+
+T7019a.hs:11:1: error:
+    • Illegal polymorphic type: forall b. Context (Associated a b)
+      A constraint must be a monotype
+    • In the context: forall b. Context (Associated a b)
+      While checking the super-classes of class ‘Class’
+      In the class declaration for ‘Class’
diff --git a/testsuite/tests/typecheck/should_fail/T7809.stderr b/testsuite/tests/typecheck/should_fail/T7809.stderr
index 3a85051621..8e5eea9a52 100644
--- a/testsuite/tests/typecheck/should_fail/T7809.stderr
+++ b/testsuite/tests/typecheck/should_fail/T7809.stderr
@@ -1,6 +1,6 @@
-

-T7809.hs:8:8: error:

-    • Illegal polymorphic type: PolyId

-      GHC doesn't yet support impredicative polymorphism

-    • In the type signature:

-        foo :: F PolyId

+
+T7809.hs:8:8: error:
+    • Illegal polymorphic type: PolyId
+      GHC doesn't yet support impredicative polymorphism
+    • In the type signature:
+        foo :: F PolyId
diff --git a/testsuite/tests/typecheck/should_fail/T8806.stderr b/testsuite/tests/typecheck/should_fail/T8806.stderr
index cc84310b00..f0043a3edb 100644
--- a/testsuite/tests/typecheck/should_fail/T8806.stderr
+++ b/testsuite/tests/typecheck/should_fail/T8806.stderr
@@ -1,10 +1,10 @@
-

-T8806.hs:5:6: error:

-    • Expected a constraint, but ‘Int’ has kind ‘*’

-    • In the type signature:

-        f :: Int => Int

-

-T8806.hs:8:7: error:

-    • Expected a constraint, but ‘Int’ has kind ‘*’

-    • In the type signature:

-        g :: (Int => Show a) => Int

+
+T8806.hs:5:6: error:
+    • Expected a constraint, but ‘Int’ has kind ‘*’
+    • In the type signature:
+        f :: Int => Int
+
+T8806.hs:8:7: error:
+    • Expected a constraint, but ‘Int’ has kind ‘*’
+    • In the type signature:
+        g :: (Int => Show a) => Int
diff --git a/testsuite/tests/typecheck/should_fail/T9196.stderr b/testsuite/tests/typecheck/should_fail/T9196.stderr
index 7aa06b24b9..f843c70929 100644
--- a/testsuite/tests/typecheck/should_fail/T9196.stderr
+++ b/testsuite/tests/typecheck/should_fail/T9196.stderr
@@ -1,12 +1,12 @@
-

-T9196.hs:4:6: error:

-    • Illegal polymorphic type: forall a1. Eq a1

-      A constraint must be a monotype

-    • In the type signature:

-        f :: (forall a. Eq a) => a -> a

-

-T9196.hs:7:6: error:

-    • Illegal qualified type: Eq a => Ord a

-      A constraint must be a monotype

-    • In the type signature:

-        g :: (Eq a => Ord a) => a -> a

+
+T9196.hs:4:6: error:
+    • Illegal polymorphic type: forall a1. Eq a1
+      A constraint must be a monotype
+    • In the type signature:
+        f :: (forall a. Eq a) => a -> a
+
+T9196.hs:7:6: error:
+    • Illegal qualified type: Eq a => Ord a
+      A constraint must be a monotype
+    • In the type signature:
+        g :: (Eq a => Ord a) => a -> a
diff --git a/testsuite/tests/typecheck/should_fail/mc22.stderr b/testsuite/tests/typecheck/should_fail/mc22.stderr
index 955ebe50fc..d15dd7bde3 100644
--- a/testsuite/tests/typecheck/should_fail/mc22.stderr
+++ b/testsuite/tests/typecheck/should_fail/mc22.stderr
@@ -1,15 +1,15 @@
-

-mc22.hs:10:26: error:

-    • Couldn't match type ‘a’ with ‘t a’

-      ‘a’ is a rigid type variable bound by

-        a type expected by the context:

-          forall a. [a] -> [t a]

-        at mc22.hs:9:9

-      Expected type: [a] -> [t a]

-        Actual type: [t a] -> [t a]

-    • In the expression: take 5

-      In a stmt of a monad comprehension: then group using take 5

-      In the expression:

-        [x + 1 | x <- ["Hello", "World"], then group using take 5]

-    • Relevant bindings include

-        foo :: [t [Char]] (bound at mc22.hs:8:1)

+
+mc22.hs:10:26: error:
+    • Couldn't match type ‘a’ with ‘t a’
+      ‘a’ is a rigid type variable bound by
+        a type expected by the context:
+          forall a. [a] -> [t a]
+        at mc22.hs:9:9
+      Expected type: [a] -> [t a]
+        Actual type: [t a] -> [t a]
+    • In the expression: take 5
+      In a stmt of a monad comprehension: then group using take 5
+      In the expression:
+        [x + 1 | x <- ["Hello", "World"], then group using take 5]
+    • Relevant bindings include
+        foo :: [t [Char]] (bound at mc22.hs:8:1)
diff --git a/testsuite/tests/typecheck/should_fail/mc25.stderr b/testsuite/tests/typecheck/should_fail/mc25.stderr
index 7fdb6ff74c..88feec902f 100644
--- a/testsuite/tests/typecheck/should_fail/mc25.stderr
+++ b/testsuite/tests/typecheck/should_fail/mc25.stderr
@@ -1,9 +1,9 @@
-

-mc25.hs:9:46: error:

-    • Couldn't match type ‘a -> t’ with ‘Int’

-      Expected type: (a -> t) -> [a] -> [t1 a]

-        Actual type: Int -> [t1 a] -> [t1 a]

-    • In the expression: take

-      In a stmt of a monad comprehension: then group by x using take

-      In the expression: [x | x <- [1 .. 10], then group by x using take]

-    • Relevant bindings include z :: [t1 t] (bound at mc25.hs:9:1)

+
+mc25.hs:9:46: error:
+    • Couldn't match type ‘a -> t’ with ‘Int’
+      Expected type: (a -> t) -> [a] -> [t1 a]
+        Actual type: Int -> [t1 a] -> [t1 a]
+    • In the expression: take
+      In a stmt of a monad comprehension: then group by x using take
+      In the expression: [x | x <- [1 .. 10], then group by x using take]
+    • Relevant bindings include z :: [t1 t] (bound at mc25.hs:9:1)
diff --git a/testsuite/tests/typecheck/should_fail/tcfail011.stderr b/testsuite/tests/typecheck/should_fail/tcfail011.stderr
index f941127e01..5b9379e074 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail011.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail011.stderr
@@ -1,2 +1,2 @@
-

-tcfail011.hs:3:25: error: Variable not in scope: y

+
+tcfail011.hs:3:25: error: Variable not in scope: y
diff --git a/testsuite/tests/typecheck/should_fail/tcfail021.stderr b/testsuite/tests/typecheck/should_fail/tcfail021.stderr
index 4e2d7a0a9a..03a1efc328 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail021.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail021.stderr
@@ -1,4 +1,4 @@
-

-tcfail021.hs:8:5: error:

-    Pattern bindings (except simple variables) not allowed in instance declaration:

-      ((==), (/=)) = (\ x -> \ y -> True, \ x -> \ y -> False)

+
+tcfail021.hs:8:5: error:
+    Pattern bindings (except simple variables) not allowed in instance declaration:
+      ((==), (/=)) = (\ x -> \ y -> True, \ x -> \ y -> False)
diff --git a/testsuite/tests/typecheck/should_fail/tcfail037.stderr b/testsuite/tests/typecheck/should_fail/tcfail037.stderr
index eefd822973..efe7445573 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail037.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail037.stderr
@@ -1,7 +1,7 @@
-

-tcfail037.hs:7:11: error:

-    Ambiguous occurrence ‘+’

-    It could refer to either ‘Prelude.+’,

-                             imported from ‘Prelude’ at tcfail037.hs:3:8-17

-                             (and originally defined in ‘GHC.Num’)

-                          or ‘ShouldFail.+’, defined at tcfail037.hs:10:5

+
+tcfail037.hs:7:11: error:
+    Ambiguous occurrence ‘+’
+    It could refer to either ‘Prelude.+’,
+                             imported from ‘Prelude’ at tcfail037.hs:3:8-17
+                             (and originally defined in ‘GHC.Num’)
+                          or ‘ShouldFail.+’, defined at tcfail037.hs:10:5
diff --git a/testsuite/tests/typecheck/should_fail/tcfail088.stderr b/testsuite/tests/typecheck/should_fail/tcfail088.stderr
index 04081aba99..8d3e841bdf 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail088.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail088.stderr
@@ -1,4 +1,4 @@
-

-tcfail088.hs:9:19: error:

-    • Illegal polymorphic type: forall s. T s a

-    • In the instance declaration for ‘Ord (forall s. T s a)’

+
+tcfail088.hs:9:19: error:
+    • Illegal polymorphic type: forall s. T s a
+    • In the instance declaration for ‘Ord (forall s. T s a)’
diff --git a/testsuite/tests/typecheck/should_fail/tcfail127.stderr b/testsuite/tests/typecheck/should_fail/tcfail127.stderr
index 205bed8c39..6716724860 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail127.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail127.stderr
@@ -1,6 +1,6 @@
-

-tcfail127.hs:3:8: error:

-    • Illegal qualified type: Num a => a -> a

-      GHC doesn't yet support impredicative polymorphism

-    • In the type signature:

-        foo :: IO (Num a => a -> a)

+
+tcfail127.hs:3:8: error:
+    • Illegal qualified type: Num a => a -> a
+      GHC doesn't yet support impredicative polymorphism
+    • In the type signature:
+        foo :: IO (Num a => a -> a)
diff --git a/testsuite/tests/typecheck/should_fail/tcfail184.stderr b/testsuite/tests/typecheck/should_fail/tcfail184.stderr
index ceb057f652..930ef27e6c 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail184.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail184.stderr
@@ -1,6 +1,6 @@
-

-tcfail184.hs:8:19: error:

-    • Illegal polymorphic type: forall a. Ord a => [a] -> [a]

-      Perhaps you intended to use RankNTypes or Rank2Types

-    • In the definition of data constructor ‘MkSwizzle’

-      In the newtype declaration for ‘Swizzle’

+
+tcfail184.hs:8:19: error:
+    • Illegal polymorphic type: forall a. Ord a => [a] -> [a]
+      Perhaps you intended to use RankNTypes or Rank2Types
+    • In the definition of data constructor ‘MkSwizzle’
+      In the newtype declaration for ‘Swizzle’
diff --git a/testsuite/tests/typecheck/should_fail/tcfail195.stderr b/testsuite/tests/typecheck/should_fail/tcfail195.stderr
index c328b73650..1fa821fbac 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail195.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail195.stderr
@@ -1,5 +1,5 @@
-

-tcfail195.hs:6:3: error:

-    • Illegal polymorphic type: forall a. a

-    • In the definition of data constructor ‘Foo’

-      In the data type declaration for ‘Foo’

+
+tcfail195.hs:6:3: error:
+    • Illegal polymorphic type: forall a. a
+    • In the definition of data constructor ‘Foo’
+      In the data type declaration for ‘Foo’
diff --git a/testsuite/tests/typecheck/should_fail/tcfail196.stderr b/testsuite/tests/typecheck/should_fail/tcfail196.stderr
index e8cfd6bd47..57370d4014 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail196.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail196.stderr
@@ -1,6 +1,6 @@
-

-tcfail196.hs:5:8: error:

-    • Illegal polymorphic type: forall a. a

-      GHC doesn't yet support impredicative polymorphism

-    • In the type signature:

-        bar :: Num (forall a. a) => Int -> Int

+
+tcfail196.hs:5:8: error:
+    • Illegal polymorphic type: forall a. a
+      GHC doesn't yet support impredicative polymorphism
+    • In the type signature:
+        bar :: Num (forall a. a) => Int -> Int
diff --git a/testsuite/tests/typecheck/should_fail/tcfail197.stderr b/testsuite/tests/typecheck/should_fail/tcfail197.stderr
index ba8be62651..1d5f455968 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail197.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail197.stderr
@@ -1,6 +1,6 @@
-

-tcfail197.hs:5:8: error:

-    • Illegal polymorphic type: forall a. a

-      GHC doesn't yet support impredicative polymorphism

-    • In the type signature:

-        foo :: [forall a. a] -> Int

+
+tcfail197.hs:5:8: error:
+    • Illegal polymorphic type: forall a. a
+      GHC doesn't yet support impredicative polymorphism
+    • In the type signature:
+        foo :: [forall a. a] -> Int