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

10 files changed, 143 insertions, 143 deletions

diff --git a/testsuite/tests/partial-sigs/should_compile/Defaulting2MROff.stderr b/testsuite/tests/partial-sigs/should_compile/Defaulting2MROff.stderr
index 77355f1957..505e5ae659 100644
--- a/testsuite/tests/partial-sigs/should_compile/Defaulting2MROff.stderr
+++ b/testsuite/tests/partial-sigs/should_compile/Defaulting2MROff.stderr
@@ -1,7 +1,7 @@
-TYPE SIGNATURES

-  bravo :: forall t. Num t => t

-TYPE CONSTRUCTORS

-COERCION AXIOMS

-Dependent modules: []

-Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,

-                     integer-gmp-1.0.0.0]

+TYPE SIGNATURES
+  bravo :: forall t. Num t => t
+TYPE CONSTRUCTORS
+COERCION AXIOMS
+Dependent modules: []
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
+                     integer-gmp-1.0.0.1]
diff --git a/testsuite/tests/partial-sigs/should_compile/Either.stderr b/testsuite/tests/partial-sigs/should_compile/Either.stderr
index 58ad32f92c..53988619d9 100644
--- a/testsuite/tests/partial-sigs/should_compile/Either.stderr
+++ b/testsuite/tests/partial-sigs/should_compile/Either.stderr
@@ -1,7 +1,7 @@
-TYPE SIGNATURES

-  barry :: forall t. t -> (Either [Char] t, Either [Char] t)

-TYPE CONSTRUCTORS

-COERCION AXIOMS

-Dependent modules: []

-Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,

-                     integer-gmp-1.0.0.0]

+TYPE SIGNATURES
+  barry :: forall t. t -> (Either [Char] t, Either [Char] t)
+TYPE CONSTRUCTORS
+COERCION AXIOMS
+Dependent modules: []
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
+                     integer-gmp-1.0.0.1]
diff --git a/testsuite/tests/partial-sigs/should_compile/EveryNamed.stderr b/testsuite/tests/partial-sigs/should_compile/EveryNamed.stderr
index bdae2f7e44..3bb47befd4 100644
--- a/testsuite/tests/partial-sigs/should_compile/EveryNamed.stderr
+++ b/testsuite/tests/partial-sigs/should_compile/EveryNamed.stderr
@@ -1,7 +1,7 @@
-TYPE SIGNATURES

-  every :: forall t. (t -> Bool) -> [t] -> Bool

-TYPE CONSTRUCTORS

-COERCION AXIOMS

-Dependent modules: []

-Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,

-                     integer-gmp-1.0.0.0]

+TYPE SIGNATURES
+  every :: forall t. (t -> Bool) -> [t] -> Bool
+TYPE CONSTRUCTORS
+COERCION AXIOMS
+Dependent modules: []
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
+                     integer-gmp-1.0.0.1]
diff --git a/testsuite/tests/partial-sigs/should_compile/ShowNamed.stderr b/testsuite/tests/partial-sigs/should_compile/ShowNamed.stderr
index 990fe075cc..db1f996a1d 100644
--- a/testsuite/tests/partial-sigs/should_compile/ShowNamed.stderr
+++ b/testsuite/tests/partial-sigs/should_compile/ShowNamed.stderr
@@ -1,7 +1,7 @@
-TYPE SIGNATURES

-  showTwo :: forall a. Show a => a -> String

-TYPE CONSTRUCTORS

-COERCION AXIOMS

-Dependent modules: []

-Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,

-                     integer-gmp-1.0.0.0]

+TYPE SIGNATURES
+  showTwo :: forall a. Show a => a -> String
+TYPE CONSTRUCTORS
+COERCION AXIOMS
+Dependent modules: []
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
+                     integer-gmp-1.0.0.1]
diff --git a/testsuite/tests/partial-sigs/should_compile/SimpleGen.stderr b/testsuite/tests/partial-sigs/should_compile/SimpleGen.stderr
index 513b5ce470..db0adb2004 100644
--- a/testsuite/tests/partial-sigs/should_compile/SimpleGen.stderr
+++ b/testsuite/tests/partial-sigs/should_compile/SimpleGen.stderr
@@ -1,7 +1,7 @@
-TYPE SIGNATURES

-  bar :: forall t. t -> Bool

-TYPE CONSTRUCTORS

-COERCION AXIOMS

-Dependent modules: []

-Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,

-                     integer-gmp-1.0.0.0]

+TYPE SIGNATURES
+  bar :: forall t. t -> Bool
+TYPE CONSTRUCTORS
+COERCION AXIOMS
+Dependent modules: []
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
+                     integer-gmp-1.0.0.1]
diff --git a/testsuite/tests/partial-sigs/should_compile/Uncurry.stderr b/testsuite/tests/partial-sigs/should_compile/Uncurry.stderr
index 866a685d37..6151c745cc 100644
--- a/testsuite/tests/partial-sigs/should_compile/Uncurry.stderr
+++ b/testsuite/tests/partial-sigs/should_compile/Uncurry.stderr
@@ -1,7 +1,7 @@
-TYPE SIGNATURES

-  unc :: forall t t1 t2. (t -> t1 -> t2) -> (t, t1) -> t2

-TYPE CONSTRUCTORS

-COERCION AXIOMS

-Dependent modules: []

-Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,

-                     integer-gmp-1.0.0.0]

+TYPE SIGNATURES
+  unc :: forall t t1 t2. (t -> t1 -> t2) -> (t, t1) -> t2
+TYPE CONSTRUCTORS
+COERCION AXIOMS
+Dependent modules: []
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
+                     integer-gmp-1.0.0.1]
diff --git a/testsuite/tests/partial-sigs/should_compile/UncurryNamed.stderr b/testsuite/tests/partial-sigs/should_compile/UncurryNamed.stderr
index e97c1f86dc..58116f8b16 100644
--- a/testsuite/tests/partial-sigs/should_compile/UncurryNamed.stderr
+++ b/testsuite/tests/partial-sigs/should_compile/UncurryNamed.stderr
@@ -1,7 +1,7 @@
-TYPE SIGNATURES

-  unc :: forall t a b. (a -> b -> t) -> (a, b) -> t

-TYPE CONSTRUCTORS

-COERCION AXIOMS

-Dependent modules: []

-Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,

-                     integer-gmp-1.0.0.0]

+TYPE SIGNATURES
+  unc :: forall t a b. (a -> b -> t) -> (a, b) -> t
+TYPE CONSTRUCTORS
+COERCION AXIOMS
+Dependent modules: []
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
+                     integer-gmp-1.0.0.1]
diff --git a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInTypeSpliceUsed.stderr b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInTypeSpliceUsed.stderr
index 31b90d9fc2..a8f98d9e62 100644
--- a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInTypeSpliceUsed.stderr
+++ b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInTypeSpliceUsed.stderr
@@ -1,8 +1,8 @@
-[1 of 2] Compiling ExtraConstraintsWildcardInTypeSplice ( ExtraConstraintsWildcardInTypeSplice.hs, ExtraConstraintsWildcardInTypeSplice.o )

-

-ExtraConstraintsWildcardInTypeSplice.hs:7:16: error:

-    Wildcard ‘_’ not allowed in a constraint

-      except as the last top-level constraint of a type signature

-        e.g  f :: (Eq a, _) => blah

-      in a Template-Haskell quoted type

-    In the Template Haskell quotation [t| _ => _ |]

+[1 of 2] Compiling ExtraConstraintsWildcardInTypeSplice ( ExtraConstraintsWildcardInTypeSplice.hs, ExtraConstraintsWildcardInTypeSplice.o )
+
+ExtraConstraintsWildcardInTypeSplice.hs:7:16: error:
+    • Wildcard ‘_’ not allowed in a constraint
+        except as the last top-level constraint of a type signature
+          e.g  f :: (Eq a, _) => blah
+        in a Template-Haskell quoted type
+    • In the Template Haskell quotation [t| _ => _ |]
diff --git a/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotInMonotype.stderr b/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotInMonotype.stderr
index 59f5b93b59..244b470e81 100644
--- a/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotInMonotype.stderr
+++ b/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotInMonotype.stderr
@@ -1,12 +1,12 @@
-

-NamedWildcardsNotInMonotype.hs:5:1: error:

-    Could not deduce (Eq t0)

-    from the context: (Show a, Eq t, Eq a)

-      bound by the inferred type for ‘foo’:

-                 (Show a, Eq t, Eq a) => a -> a -> String

-      at NamedWildcardsNotInMonotype.hs:5:1-33

-    The type variable ‘t0’ is ambiguous

-    In the ambiguity check for the inferred type for ‘foo’

-    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes

-    When checking the inferred type

-      foo :: forall t a. (Show a, Eq t, Eq a) => a -> a -> String

+
+NamedWildcardsNotInMonotype.hs:5:1: error:
+    • Could not deduce (Eq t0)
+      from the context: (Show a, Eq t, Eq a)
+        bound by the inferred type for ‘foo’:
+                   (Show a, Eq t, Eq a) => a -> a -> String
+        at NamedWildcardsNotInMonotype.hs:5:1-33
+      The type variable ‘t0’ is ambiguous
+    • In the ambiguity check for the inferred type for ‘foo’
+      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+      When checking the inferred type
+        foo :: forall t a. (Show a, Eq t, Eq a) => a -> a -> String
diff --git a/testsuite/tests/partial-sigs/should_fail/WildcardsInPatternAndExprSig.stderr b/testsuite/tests/partial-sigs/should_fail/WildcardsInPatternAndExprSig.stderr
index 6e87e4ff9c..db14490466 100644
--- a/testsuite/tests/partial-sigs/should_fail/WildcardsInPatternAndExprSig.stderr
+++ b/testsuite/tests/partial-sigs/should_fail/WildcardsInPatternAndExprSig.stderr
@@ -1,74 +1,74 @@
-

-WildcardsInPatternAndExprSig.hs:4:18: error:

-    Found type wildcard ‘_a’ standing for ‘t’

-    Where: ‘t’ is a rigid type variable bound by

-               the inferred type of bar :: Maybe [t] -> t -> [t]

-               at WildcardsInPatternAndExprSig.hs:4:1

-    To use the inferred type, enable PartialTypeSignatures

-    In a pattern type signature: _a

-    In the pattern: x :: _a

-    In the pattern: [x :: _a]

-    Relevant bindings include

-      bar :: Maybe [t] -> t -> [t]

-        (bound at WildcardsInPatternAndExprSig.hs:4:1)

-

-WildcardsInPatternAndExprSig.hs:4:25: error:

-    Found type wildcard ‘_’ standing for ‘[t]’

-    Where: ‘t’ is a rigid type variable bound by

-               the inferred type of bar :: Maybe [t] -> t -> [t]

-               at WildcardsInPatternAndExprSig.hs:4:1

-    To use the inferred type, enable PartialTypeSignatures

-    In a pattern type signature: _

-    In the pattern: [x :: _a] :: _

-    In the pattern: Just ([x :: _a] :: _)

-    Relevant bindings include

-      bar :: Maybe [t] -> t -> [t]

-        (bound at WildcardsInPatternAndExprSig.hs:4:1)

-

-WildcardsInPatternAndExprSig.hs:4:38: error:

-    Found type wildcard ‘_b’ standing for ‘t’

-    Where: ‘t’ is a rigid type variable bound by

-               the inferred type of bar :: Maybe [t] -> t -> [t]

-               at WildcardsInPatternAndExprSig.hs:4:1

-    To use the inferred type, enable PartialTypeSignatures

-    In a pattern type signature: Maybe [_b]

-    In the pattern: Just ([x :: _a] :: _) :: Maybe [_b]

-    In an equation for ‘bar’:

-        bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c)

-          = [x, z] :: [_d]

-    Relevant bindings include

-      bar :: Maybe [t] -> t -> [t]

-        (bound at WildcardsInPatternAndExprSig.hs:4:1)

-

-WildcardsInPatternAndExprSig.hs:4:49: error:

-    Found type wildcard ‘_c’ standing for ‘t’

-    Where: ‘t’ is a rigid type variable bound by

-               the inferred type of bar :: Maybe [t] -> t -> [t]

-               at WildcardsInPatternAndExprSig.hs:4:1

-    To use the inferred type, enable PartialTypeSignatures

-    In a pattern type signature: _c

-    In the pattern: z :: _c

-    In an equation for ‘bar’:

-        bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c)

-          = [x, z] :: [_d]

-    Relevant bindings include

-      x :: t (bound at WildcardsInPatternAndExprSig.hs:4:13)

-      bar :: Maybe [t] -> t -> [t]

-        (bound at WildcardsInPatternAndExprSig.hs:4:1)

-

-WildcardsInPatternAndExprSig.hs:4:66: error:

-    Found type wildcard ‘_d’ standing for ‘t’

-    Where: ‘t’ is a rigid type variable bound by

-               the inferred type of bar :: Maybe [t] -> t -> [t]

-               at WildcardsInPatternAndExprSig.hs:4:1

-    To use the inferred type, enable PartialTypeSignatures

-    In an expression type signature: [_d]

-    In the expression: [x, z] :: [_d]

-    In an equation for ‘bar’:

-        bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c)

-          = [x, z] :: [_d]

-    Relevant bindings include

-      z :: t (bound at WildcardsInPatternAndExprSig.hs:4:44)

-      x :: t (bound at WildcardsInPatternAndExprSig.hs:4:13)

-      bar :: Maybe [t] -> t -> [t]

-        (bound at WildcardsInPatternAndExprSig.hs:4:1)

+
+WildcardsInPatternAndExprSig.hs:4:18: error:
+    • Found type wildcard ‘_a’ standing for ‘t’
+      Where: ‘t’ is a rigid type variable bound by
+               the inferred type of bar :: Maybe [t] -> t -> [t]
+               at WildcardsInPatternAndExprSig.hs:4:1
+      To use the inferred type, enable PartialTypeSignatures
+    • In a pattern type signature: _a
+      In the pattern: x :: _a
+      In the pattern: [x :: _a]
+    • Relevant bindings include
+        bar :: Maybe [t] -> t -> [t]
+          (bound at WildcardsInPatternAndExprSig.hs:4:1)
+
+WildcardsInPatternAndExprSig.hs:4:25: error:
+    • Found type wildcard ‘_’ standing for ‘[t]’
+      Where: ‘t’ is a rigid type variable bound by
+               the inferred type of bar :: Maybe [t] -> t -> [t]
+               at WildcardsInPatternAndExprSig.hs:4:1
+      To use the inferred type, enable PartialTypeSignatures
+    • In a pattern type signature: _
+      In the pattern: [x :: _a] :: _
+      In the pattern: Just ([x :: _a] :: _)
+    • Relevant bindings include
+        bar :: Maybe [t] -> t -> [t]
+          (bound at WildcardsInPatternAndExprSig.hs:4:1)
+
+WildcardsInPatternAndExprSig.hs:4:38: error:
+    • Found type wildcard ‘_b’ standing for ‘t’
+      Where: ‘t’ is a rigid type variable bound by
+               the inferred type of bar :: Maybe [t] -> t -> [t]
+               at WildcardsInPatternAndExprSig.hs:4:1
+      To use the inferred type, enable PartialTypeSignatures
+    • In a pattern type signature: Maybe [_b]
+      In the pattern: Just ([x :: _a] :: _) :: Maybe [_b]
+      In an equation for ‘bar’:
+          bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c)
+            = [x, z] :: [_d]
+    • Relevant bindings include
+        bar :: Maybe [t] -> t -> [t]
+          (bound at WildcardsInPatternAndExprSig.hs:4:1)
+
+WildcardsInPatternAndExprSig.hs:4:49: error:
+    • Found type wildcard ‘_c’ standing for ‘t’
+      Where: ‘t’ is a rigid type variable bound by
+               the inferred type of bar :: Maybe [t] -> t -> [t]
+               at WildcardsInPatternAndExprSig.hs:4:1
+      To use the inferred type, enable PartialTypeSignatures
+    • In a pattern type signature: _c
+      In the pattern: z :: _c
+      In an equation for ‘bar’:
+          bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c)
+            = [x, z] :: [_d]
+    • Relevant bindings include
+        x :: t (bound at WildcardsInPatternAndExprSig.hs:4:13)
+        bar :: Maybe [t] -> t -> [t]
+          (bound at WildcardsInPatternAndExprSig.hs:4:1)
+
+WildcardsInPatternAndExprSig.hs:4:66: error:
+    • Found type wildcard ‘_d’ standing for ‘t’
+      Where: ‘t’ is a rigid type variable bound by
+               the inferred type of bar :: Maybe [t] -> t -> [t]
+               at WildcardsInPatternAndExprSig.hs:4:1
+      To use the inferred type, enable PartialTypeSignatures
+    • In an expression type signature: [_d]
+      In the expression: [x, z] :: [_d]
+      In an equation for ‘bar’:
+          bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c)
+            = [x, z] :: [_d]
+    • Relevant bindings include
+        z :: t (bound at WildcardsInPatternAndExprSig.hs:4:44)
+        x :: t (bound at WildcardsInPatternAndExprSig.hs:4:13)
+        bar :: Maybe [t] -> t -> [t]
+          (bound at WildcardsInPatternAndExprSig.hs:4:1)