Testsuite: accept output without Windows line endings (#11631)

8 files changed, 83 insertions, 83 deletions

diff --git a/testsuite/tests/gadt/T3651.stderr b/testsuite/tests/gadt/T3651.stderr
index db723c8d50..14216eb149 100644
--- a/testsuite/tests/gadt/T3651.stderr
+++ b/testsuite/tests/gadt/T3651.stderr
@@ -1,21 +1,21 @@
-

-T3651.hs:11:11:

-    Couldn't match type ‘Bool’ with ‘()’

-    Inaccessible code in

-      a pattern with constructor: U :: Z (), in an equation for ‘unsafe1’

-    In the pattern: U

-    In an equation for ‘unsafe1’: unsafe1 B U = ()

-

-T3651.hs:14:11:

-    Couldn't match type ‘Bool’ with ‘()’

-    Inaccessible code in

-      a pattern with constructor: U :: Z (), in an equation for ‘unsafe2’

-    In the pattern: U

-    In an equation for ‘unsafe2’: unsafe2 B U = ()

-

-T3651.hs:17:11:

-    Couldn't match type ‘Bool’ with ‘()’

-    Inaccessible code in

-      a pattern with constructor: U :: Z (), in an equation for ‘unsafe3’

-    In the pattern: U

-    In an equation for ‘unsafe3’: unsafe3 B U = True

+
+T3651.hs:11:11: error:
+    • Couldn't match type ‘Bool’ with ‘()’
+      Inaccessible code in
+        a pattern with constructor: U :: Z (), in an equation for ‘unsafe1’
+    • In the pattern: U
+      In an equation for ‘unsafe1’: unsafe1 B U = ()
+
+T3651.hs:14:11: error:
+    • Couldn't match type ‘Bool’ with ‘()’
+      Inaccessible code in
+        a pattern with constructor: U :: Z (), in an equation for ‘unsafe2’
+    • In the pattern: U
+      In an equation for ‘unsafe2’: unsafe2 B U = ()
+
+T3651.hs:17:11: error:
+    • Couldn't match type ‘Bool’ with ‘()’
+      Inaccessible code in
+        a pattern with constructor: U :: Z (), in an equation for ‘unsafe3’
+    • In the pattern: U
+      In an equation for ‘unsafe3’: unsafe3 B U = True
diff --git a/testsuite/tests/gadt/T7293.stderr b/testsuite/tests/gadt/T7293.stderr
index 35c02d5f90..40b8a04333 100644
--- a/testsuite/tests/gadt/T7293.stderr
+++ b/testsuite/tests/gadt/T7293.stderr
@@ -1,8 +1,8 @@
-

-T7293.hs:24:5:

-    Couldn't match type ‘'True’ with ‘'False’

-    Inaccessible code in

-      a pattern with constructor: Nil :: forall a. Vec a 'Zero,

-      in an equation for ‘nth’

-    In the pattern: Nil

-    In an equation for ‘nth’: nth Nil _ = undefined

+
+T7293.hs:24:5: error:
+    • Couldn't match type ‘'True’ with ‘'False’
+      Inaccessible code in
+        a pattern with constructor: Nil :: forall a. Vec a 'Zero,
+        in an equation for ‘nth’
+    • In the pattern: Nil
+      In an equation for ‘nth’: nth Nil _ = undefined
diff --git a/testsuite/tests/gadt/T7294.stderr b/testsuite/tests/gadt/T7294.stderr
index 0fa7f5386c..94798403a5 100644
--- a/testsuite/tests/gadt/T7294.stderr
+++ b/testsuite/tests/gadt/T7294.stderr
@@ -1,12 +1,12 @@
-

-T7294.hs:23:1: warning:

-    Pattern match(es) are redundant

-    In an equation for ‘nth’: nth Nil _ = ...

-

-T7294.hs:25:5: Warning:

-    Couldn't match type ‘'True’ with ‘'False’

-    Inaccessible code in

-      a pattern with constructor: Nil :: forall a. Vec a 'Zero,

-      in an equation for ‘nth’

-    In the pattern: Nil

-    In an equation for ‘nth’: nth Nil _ = undefined

+
+T7294.hs:23:1: warning:
+    Pattern match(es) are redundant
+    In an equation for ‘nth’: nth Nil _ = ...
+
+T7294.hs:25:5: warning:
+    • Couldn't match type ‘'True’ with ‘'False’
+      Inaccessible code in
+        a pattern with constructor: Nil :: forall a. Vec a 'Zero,
+        in an equation for ‘nth’
+    • In the pattern: Nil
+      In an equation for ‘nth’: nth Nil _ = undefined
diff --git a/testsuite/tests/gadt/T7558.stderr b/testsuite/tests/gadt/T7558.stderr
index 15b9476af4..5c610b2895 100644
--- a/testsuite/tests/gadt/T7558.stderr
+++ b/testsuite/tests/gadt/T7558.stderr
@@ -1,15 +1,15 @@
-

-T7558.hs:8:4: error:

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

-    ‘a’ is a rigid type variable bound by

-    the type signature for:

-      f :: forall a. T a a -> Bool

-    at T7558.hs:7:6

-    Inaccessible code in

-      a pattern with constructor:

-        MkT :: forall a b. (a ~ Maybe b) => a -> Maybe b -> T a b,

-      in an equation for ‘f’

-    In the pattern: MkT x y

-    In an equation for ‘f’: f (MkT x y) = [x, y] `seq` True

-    Relevant bindings include

-      f :: T a a -> Bool (bound at T7558.hs:8:1)

+
+T7558.hs:8:4: error:
+    • Couldn't match type ‘a’ with ‘Maybe a’
+      ‘a’ is a rigid type variable bound by
+        the type signature for:
+          f :: forall a. T a a -> Bool
+        at T7558.hs:7:6
+      Inaccessible code in
+        a pattern with constructor:
+          MkT :: forall a b. (a ~ Maybe b) => a -> Maybe b -> T a b,
+        in an equation for ‘f’
+    • In the pattern: MkT x y
+      In an equation for ‘f’: f (MkT x y) = [x, y] `seq` True
+    • Relevant bindings include
+        f :: T a a -> Bool (bound at T7558.hs:8:1)
diff --git a/testsuite/tests/gadt/gadt11.stderr b/testsuite/tests/gadt/gadt11.stderr
index 1dba9b0a40..09c54d6e87 100644
--- a/testsuite/tests/gadt/gadt11.stderr
+++ b/testsuite/tests/gadt/gadt11.stderr
@@ -1,6 +1,6 @@
-

-gadt11.hs:12:3: error:

-    Data constructor ‘L2’ returns type ‘T1 Bool’

-      instead of an instance of its parent type ‘T2 a’

-    In the definition of data constructor ‘L2’

-    In the data type declaration for ‘T2’

+
+gadt11.hs:12:3: error:
+    • Data constructor ‘L2’ returns type ‘T1 Bool’
+        instead of an instance of its parent type ‘T2 a’
+    • In the definition of data constructor ‘L2’
+      In the data type declaration for ‘T2’
diff --git a/testsuite/tests/gadt/gadtSyntaxFail001.stderr b/testsuite/tests/gadt/gadtSyntaxFail001.stderr
index e92272d5c2..248bc98044 100644
--- a/testsuite/tests/gadt/gadtSyntaxFail001.stderr
+++ b/testsuite/tests/gadt/gadtSyntaxFail001.stderr
@@ -1,7 +1,7 @@
-

-gadtSyntaxFail001.hs:8:5: error:

-    Data constructor ‘C2’ has existential type variables, a context, or a specialised result type

-      C2 :: forall a. a -> Char -> Foo a Int

-      (Use ExistentialQuantification or GADTs to allow this)

-    In the definition of data constructor ‘C2’

-    In the data type declaration for ‘Foo’

+
+gadtSyntaxFail001.hs:8:5: error:
+    • Data constructor ‘C2’ has existential type variables, a context, or a specialised result type
+        C2 :: forall a. a -> Char -> Foo a Int
+        (Use ExistentialQuantification or GADTs to allow this)
+    • In the definition of data constructor ‘C2’
+      In the data type declaration for ‘Foo’
diff --git a/testsuite/tests/gadt/gadtSyntaxFail002.stderr b/testsuite/tests/gadt/gadtSyntaxFail002.stderr
index 4a969aaa49..7c30b794f9 100644
--- a/testsuite/tests/gadt/gadtSyntaxFail002.stderr
+++ b/testsuite/tests/gadt/gadtSyntaxFail002.stderr
@@ -1,7 +1,7 @@
-

-gadtSyntaxFail002.hs:8:5: error:

-    Data constructor ‘C2’ has existential type variables, a context, or a specialised result type

-      C2 :: forall a. a -> Char -> Foo a a

-      (Use ExistentialQuantification or GADTs to allow this)

-    In the definition of data constructor ‘C2’

-    In the data type declaration for ‘Foo’

+
+gadtSyntaxFail002.hs:8:5: error:
+    • Data constructor ‘C2’ has existential type variables, a context, or a specialised result type
+        C2 :: forall a. a -> Char -> Foo a a
+        (Use ExistentialQuantification or GADTs to allow this)
+    • In the definition of data constructor ‘C2’
+      In the data type declaration for ‘Foo’
diff --git a/testsuite/tests/gadt/gadtSyntaxFail003.stderr b/testsuite/tests/gadt/gadtSyntaxFail003.stderr
index f8fbeff079..bb2b6a2fff 100644
--- a/testsuite/tests/gadt/gadtSyntaxFail003.stderr
+++ b/testsuite/tests/gadt/gadtSyntaxFail003.stderr
@@ -1,7 +1,7 @@
-

-gadtSyntaxFail003.hs:7:5: error:

-    Data constructor ‘C1’ has existential type variables, a context, or a specialised result type

-      C1 :: forall b a c. a -> Int -> c -> Foo b a

-      (Use ExistentialQuantification or GADTs to allow this)

-    In the definition of data constructor ‘C1’

-    In the data type declaration for ‘Foo’

+
+gadtSyntaxFail003.hs:7:5: error:
+    • Data constructor ‘C1’ has existential type variables, a context, or a specialised result type
+        C1 :: forall b a c. a -> Int -> c -> Foo b a
+        (Use ExistentialQuantification or GADTs to allow this)
+    • In the definition of data constructor ‘C1’
+      In the data type declaration for ‘Foo’