Testsuite: accept output without Windows line endings (#11631)
authorThomas Miedema <thomasmiedema@gmail.com>
Tue, 23 Feb 2016 01:57:53 +0000 (02:57 +0100)
committerThomas Miedema <thomasmiedema@gmail.com>
Tue, 23 Feb 2016 11:27:58 +0000 (12:27 +0100)
50 files changed:
testsuite/tests/deriving/should_fail/T5287.stderr
testsuite/tests/deriving/should_fail/drvfail002.stderr
testsuite/tests/deriving/should_fail/drvfail008.stderr
testsuite/tests/deriving/should_fail/drvfail016.stderr
testsuite/tests/driver/sigof04/sigof04.stderr
testsuite/tests/gadt/T3651.stderr
testsuite/tests/gadt/T7293.stderr
testsuite/tests/gadt/T7294.stderr
testsuite/tests/gadt/T7558.stderr
testsuite/tests/gadt/gadt11.stderr
testsuite/tests/gadt/gadtSyntaxFail001.stderr
testsuite/tests/gadt/gadtSyntaxFail002.stderr
testsuite/tests/gadt/gadtSyntaxFail003.stderr
testsuite/tests/ghci.debugger/scripts/break019.stderr
testsuite/tests/ghci/prog008/ghci.prog008.stdout
testsuite/tests/ghci/prog009/ghci.prog009.stderr
testsuite/tests/ghci/scripts/T5564.stderr
testsuite/tests/ghci/scripts/T7894.stderr
testsuite/tests/ghci/scripts/T9293.stderr
testsuite/tests/ghci/scripts/ghci034.stderr
testsuite/tests/ghci/scripts/ghci044.stderr
testsuite/tests/ghci/scripts/ghci057.stderr
testsuite/tests/indexed-types/should_compile/Simple14.stderr
testsuite/tests/indexed-types/should_fail/BadSock.stderr
testsuite/tests/indexed-types/should_fail/DerivUnsatFam.stderr
testsuite/tests/indexed-types/should_fail/NoMatchErr.stderr
testsuite/tests/indexed-types/should_fail/NotRelaxedExamples.stderr
testsuite/tests/indexed-types/should_fail/Overlap15.stderr
testsuite/tests/indexed-types/should_fail/T1900.stderr
testsuite/tests/indexed-types/should_fail/T2157.stderr
testsuite/tests/indexed-types/should_fail/T9036.stderr
testsuite/tests/indexed-types/should_fail/T9433.stderr
testsuite/tests/indexed-types/should_fail/TyFamUndec.stderr
testsuite/tests/module/mod101.stderr
testsuite/tests/module/mod102.stderr
testsuite/tests/module/mod132.stderr
testsuite/tests/module/mod39.stderr
testsuite/tests/module/mod60.stderr
testsuite/tests/parser/should_fail/ParserNoBinaryLiterals2.stderr
testsuite/tests/parser/should_fail/ParserNoBinaryLiterals3.stderr
testsuite/tests/partial-sigs/should_compile/Defaulting2MROff.stderr
testsuite/tests/partial-sigs/should_compile/Either.stderr
testsuite/tests/partial-sigs/should_compile/EveryNamed.stderr
testsuite/tests/partial-sigs/should_compile/ShowNamed.stderr
testsuite/tests/partial-sigs/should_compile/SimpleGen.stderr
testsuite/tests/partial-sigs/should_compile/Uncurry.stderr
testsuite/tests/partial-sigs/should_compile/UncurryNamed.stderr
testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInTypeSpliceUsed.stderr
testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotInMonotype.stderr
testsuite/tests/partial-sigs/should_fail/WildcardsInPatternAndExprSig.stderr

index 3fb3e28..6307c36 100644 (file)
@@ -1,11 +1,11 @@
-\r
-T5287.hs:6:10: error:\r
-    Could not deduce (A a oops0)\r
-    from the context: A a oops\r
-      bound by an instance declaration:\r
-                 A a oops => Read (D a)\r
-      at T5287.hs:6:10-31\r
-    The type variable ‘oops0’ is ambiguous\r
-    In the ambiguity check for an instance declaration\r
-    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes\r
-    In the instance declaration for ‘Read (D a)’\r
+
+T5287.hs:6:10: error:
+    • Could not deduce (A a oops0)
+      from the context: A a oops
+        bound by an instance declaration:
+                   A a oops => Read (D a)
+        at T5287.hs:6:10-31
+      The type variable ‘oops0’ is ambiguous
+    • In the ambiguity check for an instance declaration
+      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+      In the instance declaration for ‘Read (D a)’
index 11c42d7..a58db7a 100644 (file)
@@ -1,8 +1,8 @@
-\r
-drvfail002.hs:19:23:\r
-    No instance for (X T c0)\r
-      arising from the first field of ‘S’ (type ‘T’)\r
-    Possible fix:\r
-      use a standalone 'deriving instance' declaration,\r
-        so you can specify the instance context yourself\r
-    When deriving the instance for (Show S)\r
+
+drvfail002.hs:19:23: error:
+    • No instance for (X T c0)
+        arising from the first field of ‘S’ (type ‘T’)
+      Possible fix:
+        use a standalone 'deriving instance' declaration,
+          so you can specify the instance context yourself
+    • When deriving the instance for (Show S)
index 9b56dfb..bfa7392 100644 (file)
@@ -1,6 +1,6 @@
-\r
-drvfail008.hs:10:43:\r
-    Can't make a derived instance of `Monad M':\r
-      `Monad' is not a derivable class\r
-      Try -XGeneralizedNewtypeDeriving for GHC's newtype-deriving extension\r
-    In the newtype declaration for `M'\r
+
+drvfail008.hs:10:43: error:
+    • Can't make a derived instance of ‘Monad M’:
+        ‘Monad’ is not a standard derivable class (Eq, Show, etc.)
+        Try GeneralizedNewtypeDeriving for GHC's newtype-deriving extension
+    • In the newtype declaration for ‘M’
index bba7d0f..182b748 100644 (file)
@@ -1,4 +1,4 @@
-\r
-drvfail016.hs-boot:7:14:\r
-    Deriving not permitted in hs-boot file\r
-      Use an instance declaration instead\r
+
+drvfail016.hs-boot:7:14: error:
+    Deriving not permitted in hs-boot file
+      Use an instance declaration instead
index 4be1bfd..14e6311 100644 (file)
@@ -1,3 +1,3 @@
-\r
-<no location info>:\r
-    ‘insert’ is exported by the hsig file, but not exported by the module\r
+
+<no location info>: error:
+    ‘insert’ is exported by the hsig file, but not exported by the module
index db723c8..14216eb 100644 (file)
@@ -1,21 +1,21 @@
-\r
-T3651.hs:11:11:\r
-    Couldn't match type ‘Bool’ with ‘()’\r
-    Inaccessible code in\r
-      a pattern with constructor: U :: Z (), in an equation for ‘unsafe1’\r
-    In the pattern: U\r
-    In an equation for ‘unsafe1’: unsafe1 B U = ()\r
-\r
-T3651.hs:14:11:\r
-    Couldn't match type ‘Bool’ with ‘()’\r
-    Inaccessible code in\r
-      a pattern with constructor: U :: Z (), in an equation for ‘unsafe2’\r
-    In the pattern: U\r
-    In an equation for ‘unsafe2’: unsafe2 B U = ()\r
-\r
-T3651.hs:17:11:\r
-    Couldn't match type ‘Bool’ with ‘()’\r
-    Inaccessible code in\r
-      a pattern with constructor: U :: Z (), in an equation for ‘unsafe3’\r
-    In the pattern: U\r
-    In an equation for ‘unsafe3’: unsafe3 B U = True\r
+
+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
index 35c02d5..40b8a04 100644 (file)
@@ -1,8 +1,8 @@
-\r
-T7293.hs:24:5:\r
-    Couldn't match type ‘'True’ with ‘'False’\r
-    Inaccessible code in\r
-      a pattern with constructor: Nil :: forall a. Vec a 'Zero,\r
-      in an equation for ‘nth’\r
-    In the pattern: Nil\r
-    In an equation for ‘nth’: nth Nil _ = undefined\r
+
+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
index 0fa7f53..9479840 100644 (file)
@@ -1,12 +1,12 @@
-\r
-T7294.hs:23:1: warning:\r
-    Pattern match(es) are redundant\r
-    In an equation for ‘nth’: nth Nil _ = ...\r
-\r
-T7294.hs:25:5: Warning:\r
-    Couldn't match type ‘'True’ with ‘'False’\r
-    Inaccessible code in\r
-      a pattern with constructor: Nil :: forall a. Vec a 'Zero,\r
-      in an equation for ‘nth’\r
-    In the pattern: Nil\r
-    In an equation for ‘nth’: nth Nil _ = undefined\r
+
+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
index 15b9476..5c610b2 100644 (file)
@@ -1,15 +1,15 @@
-\r
-T7558.hs:8:4: error:\r
-    Couldn't match type ‘a’ with ‘Maybe a’\r
-    ‘a’ is a rigid type variable bound by\r
-    the type signature for:\r
-      f :: forall a. T a a -> Bool\r
-    at T7558.hs:7:6\r
-    Inaccessible code in\r
-      a pattern with constructor:\r
-        MkT :: forall a b. (a ~ Maybe b) => a -> Maybe b -> T a b,\r
-      in an equation for ‘f’\r
-    In the pattern: MkT x y\r
-    In an equation for ‘f’: f (MkT x y) = [x, y] `seq` True\r
-    Relevant bindings include\r
-      f :: T a a -> Bool (bound at T7558.hs:8:1)\r
+
+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)
index 1dba9b0..09c54d6 100644 (file)
@@ -1,6 +1,6 @@
-\r
-gadt11.hs:12:3: error:\r
-    Data constructor ‘L2’ returns type ‘T1 Bool’\r
-      instead of an instance of its parent type ‘T2 a’\r
-    In the definition of data constructor ‘L2’\r
-    In the data type declaration for ‘T2’\r
+
+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’
index e92272d..248bc98 100644 (file)
@@ -1,7 +1,7 @@
-\r
-gadtSyntaxFail001.hs:8:5: error:\r
-    Data constructor ‘C2’ has existential type variables, a context, or a specialised result type\r
-      C2 :: forall a. a -> Char -> Foo a Int\r
-      (Use ExistentialQuantification or GADTs to allow this)\r
-    In the definition of data constructor ‘C2’\r
-    In the data type declaration for ‘Foo’\r
+
+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’
index 4a969aa..7c30b79 100644 (file)
@@ -1,7 +1,7 @@
-\r
-gadtSyntaxFail002.hs:8:5: error:\r
-    Data constructor ‘C2’ has existential type variables, a context, or a specialised result type\r
-      C2 :: forall a. a -> Char -> Foo a a\r
-      (Use ExistentialQuantification or GADTs to allow this)\r
-    In the definition of data constructor ‘C2’\r
-    In the data type declaration for ‘Foo’\r
+
+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’
index f8fbeff..bb2b6a2 100644 (file)
@@ -1,7 +1,7 @@
-\r
-gadtSyntaxFail003.hs:7:5: error:\r
-    Data constructor ‘C1’ has existential type variables, a context, or a specialised result type\r
-      C1 :: forall b a c. a -> Int -> c -> Foo b a\r
-      (Use ExistentialQuantification or GADTs to allow this)\r
-    In the definition of data constructor ‘C1’\r
-    In the data type declaration for ‘Foo’\r
+
+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’
index 3ae67a9..3cb286b 100644 (file)
@@ -1,2 +1,2 @@
-\r
-<interactive>:1:1: Not in scope: ‘Test2’\r
+
+<interactive>:1:1: error: Not in scope: ‘Test2’
index df6767b..5601247 100644 (file)
@@ -1,10 +1,10 @@
-class C a b where\r
-  c1 :: Num b => a -> b\r
-  c2 :: (Num b, Show b) => a -> b\r
-  c3 :: a1 -> b\r
-  {-# MINIMAL c1, c2, c3 #-}\r
-class C a b where\r
-  c1 :: Num b => a -> b\r
-  c2 :: (Num b, Show b) => a -> b\r
-  c3 :: forall a1. a1 -> b\r
-  {-# MINIMAL c1, c2, c3 #-}
\ No newline at end of file
+class C a b where
+  c1 :: Num b => a -> b
+  c2 :: (Num b, Show b) => a -> b
+  c3 :: a1 -> b
+  {-# MINIMAL c1, c2, c3 #-}
+class C a b where
+  c1 :: Num b => a -> b
+  c2 :: (Num b, Show b) => a -> b
+  c3 :: forall a1. a1 -> b
+  {-# MINIMAL c1, c2, c3 #-}
index b2072f6..4f9cf12 100644 (file)
@@ -1,8 +1,8 @@
-\r
-A.hs:1:16: error: parse error on input ‘where’\r
-\r
-<interactive>:25:1: error:\r
-    Variable not in scope: yan\r
-    Perhaps you meant ‘tan’ (imported from Prelude)\r
-\r
-A.hs:1:16: error: parse error on input ‘where’\r
+
+A.hs:1:16: error: parse error on input ‘where’
+
+<interactive>:25:1: error:
+    • Variable not in scope: yan
+    • Perhaps you meant ‘tan’ (imported from Prelude)
+
+A.hs:1:16: error: parse error on input ‘where’
index a63bcc8..31ebd14 100644 (file)
@@ -1,10 +1,10 @@
-\r
-<interactive>:2:1: error:\r
-    Variable not in scope: git\r
-    Perhaps you meant ‘it’ (line 1)\r
-\r
-<interactive>:4:1: error:\r
-    Variable not in scope: fit\r
-    Perhaps you meant one of these:\r
-      ‘fst’ (imported from Prelude), ‘Ghci1.it’ (imported from Ghci1),\r
-      ‘it’ (line 3)\r
+
+<interactive>:2:1: error:
+    • Variable not in scope: git
+    • Perhaps you meant ‘it’ (line 1)
+
+<interactive>:4:1: error:
+    • Variable not in scope: fit
+    • Perhaps you meant one of these:
+        ‘fst’ (imported from Prelude), ‘Ghci1.it’ (imported from Ghci1),
+        ‘it’ (line 3)
index 71739d1..17f7171 100644 (file)
@@ -1,2 +1,2 @@
-\r
-<interactive>:1:1: Not in scope: ‘Data.Maybe.->’\r
+
+<interactive>:1:1: error: Not in scope: ‘Data.Maybe.->’
index 8c7ac45..77cf2da 100644 (file)
@@ -1,19 +1,19 @@
-\r
-<interactive>:4:1: error:\r
-    Illegal generalised algebraic data declaration for ‘T’\r
-      (Use GADTs to allow GADTs)\r
-    In the data declaration for ‘T’\r
-\r
-ghci057.hs:3:3: error:\r
-    Data constructor ‘C’ has existential type variables, a context, or a specialised result type\r
-      C :: T Int\r
-      (Use ExistentialQuantification or GADTs to allow this)\r
-    In the definition of data constructor ‘C’\r
-    In the data type declaration for ‘T’\r
-\r
-ghci057.hs:3:3: error:\r
-    Data constructor ‘C’ has existential type variables, a context, or a specialised result type\r
-      C :: T Int\r
-      (Use ExistentialQuantification or GADTs to allow this)\r
-    In the definition of data constructor ‘C’\r
-    In the data type declaration for ‘T’\r
+
+<interactive>:4:1: error:
+    • Illegal generalised algebraic data declaration for ‘T’
+        (Use GADTs to allow GADTs)
+    • In the data declaration for ‘T’
+
+ghci057.hs:3:3: error:
+    • Data constructor ‘C’ has existential type variables, a context, or a specialised result type
+        C :: T Int
+        (Use ExistentialQuantification or GADTs to allow this)
+    • In the definition of data constructor ‘C’
+      In the data type declaration for ‘T’
+
+ghci057.hs:3:3: error:
+    • Data constructor ‘C’ has existential type variables, a context, or a specialised result type
+        C :: T Int
+        (Use ExistentialQuantification or GADTs to allow this)
+    • In the definition of data constructor ‘C’
+      In the data type declaration for ‘T’
index 459ab82..3d4b95c 100644 (file)
@@ -1,2 +1,2 @@
-\r
-<interactive>:1:1: Not in scope: ‘thisIsNotDefined’\r
+
+<interactive>:1:1: error: Not in scope: ‘thisIsNotDefined’
index 9ff8acc..716f46e 100644 (file)
@@ -1,8 +1,8 @@
 
 <interactive>:9:1: error:
-    Overlapping instances for C [Int] arising from a use of ‘f’
-    Matching instances:
-      instance [safe] C [Int] -- Defined at <interactive>:6:10
-      instance [safe] C a => C [a] -- Defined at <interactive>:8:10
-    In the expression: f [4 :: Int]
-    In an equation for ‘it’: it = f [4 :: Int]
+    • Overlapping instances for C [Int] arising from a use of ‘f’
+      Matching instances:
+        instance [safe] C [Int] -- Defined at <interactive>:6:10
+        instance [safe] C a => C [a] -- Defined at <interactive>:8:10
+    • In the expression: f [4 :: Int]
+      In an equation for ‘it’: it = f [4 :: Int]
index 8c7ac45..77cf2da 100644 (file)
@@ -1,19 +1,19 @@
-\r
-<interactive>:4:1: error:\r
-    Illegal generalised algebraic data declaration for ‘T’\r
-      (Use GADTs to allow GADTs)\r
-    In the data declaration for ‘T’\r
-\r
-ghci057.hs:3:3: error:\r
-    Data constructor ‘C’ has existential type variables, a context, or a specialised result type\r
-      C :: T Int\r
-      (Use ExistentialQuantification or GADTs to allow this)\r
-    In the definition of data constructor ‘C’\r
-    In the data type declaration for ‘T’\r
-\r
-ghci057.hs:3:3: error:\r
-    Data constructor ‘C’ has existential type variables, a context, or a specialised result type\r
-      C :: T Int\r
-      (Use ExistentialQuantification or GADTs to allow this)\r
-    In the definition of data constructor ‘C’\r
-    In the data type declaration for ‘T’\r
+
+<interactive>:4:1: error:
+    • Illegal generalised algebraic data declaration for ‘T’
+        (Use GADTs to allow GADTs)
+    • In the data declaration for ‘T’
+
+ghci057.hs:3:3: error:
+    • Data constructor ‘C’ has existential type variables, a context, or a specialised result type
+        C :: T Int
+        (Use ExistentialQuantification or GADTs to allow this)
+    • In the definition of data constructor ‘C’
+      In the data type declaration for ‘T’
+
+ghci057.hs:3:3: error:
+    • Data constructor ‘C’ has existential type variables, a context, or a specialised result type
+        C :: T Int
+        (Use ExistentialQuantification or GADTs to allow this)
+    • In the definition of data constructor ‘C’
+      In the data type declaration for ‘T’
index 3951491..d0582b0 100644 (file)
@@ -1,18 +1,18 @@
-\r
-Simple14.hs:8:8: error:\r
-    Couldn't match type ‘z0’ with ‘z’\r
-      ‘z0’ is untouchable\r
-        inside the constraints: x ~ y\r
-        bound by the type signature for:\r
-                   eqE :: (x ~ y) => EQ_ z0 z0\r
-        at Simple14.hs:8:8-39\r
-    ‘z’ is a rigid type variable bound by\r
-    the type signature for:\r
-      eqE :: forall x y z p. EQ_ x y -> ((x ~ y) => EQ_ z z) -> p\r
-    at Simple14.hs:8:8\r
-    Expected type: EQ_ z0 z0\r
-      Actual type: EQ_ z z\r
-    In the ambiguity check for ‘eqE’\r
-    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes\r
-    In the type signature:\r
-      eqE :: EQ_ x y -> (x ~ y => EQ_ z z) -> p\r
+
+Simple14.hs:8:8: error:
+    • Couldn't match type ‘z0’ with ‘z’
+        ‘z0’ is untouchable
+          inside the constraints: x ~ y
+          bound by the type signature for:
+                     eqE :: (x ~ y) => EQ_ z0 z0
+          at Simple14.hs:8:8-39
+      ‘z’ is a rigid type variable bound by
+        the type signature for:
+          eqE :: forall x y z p. EQ_ x y -> ((x ~ y) => EQ_ z z) -> p
+        at Simple14.hs:8:8
+      Expected type: EQ_ z0 z0
+        Actual type: EQ_ z z
+    • In the ambiguity check for ‘eqE’
+      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+      In the type signature:
+        eqE :: EQ_ x y -> (x ~ y => EQ_ z z) -> p
index ed90d89..4b2e23a 100644 (file)
@@ -1,5 +1,5 @@
-\r
-BadSock.hs:30:5: error:\r
-    The type family ‘Readable’ should have 1 argument, but has been given none\r
-    In the equations for closed type family ‘Foo’\r
-    In the type family declaration for ‘Foo’\r
+
+BadSock.hs:30:5: error:
+    • The type family ‘Readable’ should have 1 argument, but has been given none
+    • In the equations for closed type family ‘Foo’
+      In the type family declaration for ‘Foo’
index dbff635..cdd7206 100644 (file)
@@ -1,5 +1,5 @@
-\r
-DerivUnsatFam.hs:8:1:\r
-    Can't make a derived instance of ‘Functor T’:\r
-      No family instance for ‘T’\r
-    In the stand-alone deriving instance for ‘Functor T’\r
+
+DerivUnsatFam.hs:8:1: error:
+    • Can't make a derived instance of ‘Functor T’:
+        No family instance for ‘T’
+    • In the stand-alone deriving instance for ‘Functor T’
index 73f1cbc..8afd375 100644 (file)
@@ -1,10 +1,11 @@
-\r
-NoMatchErr.hs:19:7: error:\r
-    Couldn't match type ‘Memo d0’ with ‘Memo d’\r
-    NB: ‘Memo’ is a type function, and may not be injective\r
-    The type variable ‘d0’ is ambiguous\r
-    Expected type: Memo d a -> Memo d a\r
-      Actual type: Memo d0 a -> Memo d0 a\r
-    In the ambiguity check for ‘f’\r
-    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes\r
-    In the type signature: f :: (Fun d) => Memo d a -> Memo d a\r
+
+NoMatchErr.hs:19:7: error:
+    • Couldn't match type ‘Memo d0’ with ‘Memo d’
+      NB: ‘Memo’ is a type function, and may not be injective
+      The type variable ‘d0’ is ambiguous
+      Expected type: Memo d a -> Memo d a
+        Actual type: Memo d0 a -> Memo d0 a
+    • In the ambiguity check for ‘f’
+      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+      In the type signature:
+        f :: (Fun d) => Memo d a -> Memo d a
index 1594d19..8664c7b 100644 (file)
@@ -1,17 +1,17 @@
-\r
-NotRelaxedExamples.hs:9:15: error:\r
-    Illegal nested type family application ‘F1 (F1 Char)’\r
-    (Use UndecidableInstances to permit this)\r
-    In the type instance declaration for ‘F1’\r
-\r
-NotRelaxedExamples.hs:10:15: error:\r
-    The type family application ‘F2 [x]’\r
-      is no smaller than the instance head\r
-    (Use UndecidableInstances to permit this)\r
-    In the type instance declaration for ‘F2’\r
-\r
-NotRelaxedExamples.hs:11:15: error:\r
-    The type family application ‘F3 [Char]’\r
-      is no smaller than the instance head\r
-    (Use UndecidableInstances to permit this)\r
-    In the type instance declaration for ‘F3’\r
+
+NotRelaxedExamples.hs:9:15: error:
+    • Illegal nested type family application ‘F1 (F1 Char)’
+      (Use UndecidableInstances to permit this)
+    • In the type instance declaration for ‘F1’
+
+NotRelaxedExamples.hs:10:15: error:
+    • The type family application ‘F2 [x]’
+        is no smaller than the instance head
+      (Use UndecidableInstances to permit this)
+    • In the type instance declaration for ‘F2’
+
+NotRelaxedExamples.hs:11:15: error:
+    • The type family application ‘F3 [Char]’
+        is no smaller than the instance head
+      (Use UndecidableInstances to permit this)
+    • In the type instance declaration for ‘F3’
index 673a907..b06751c 100644 (file)
@@ -1,7 +1,8 @@
-\r
-Overlap15.hs:16:9:\r
-    Couldn't match expected type ‘F b [b] Bool’ with actual type ‘Bool’\r
-    In the expression: False\r
-    In an equation for ‘foo’: foo _ = False\r
-    Relevant bindings include\r
-      foo :: Proxy b -> F b [b] Bool (bound at Overlap15.hs:16:1)\r
+
+Overlap15.hs:16:9: error:
+    • Couldn't match expected type ‘F b [b] Bool’
+                  with actual type ‘Bool’
+    • In the expression: False
+      In an equation for ‘foo’: foo _ = False
+    • Relevant bindings include
+        foo :: Proxy b -> F b [b] Bool (bound at Overlap15.hs:16:1)
index ce7d51c..dbcbddc 100644 (file)
@@ -1,12 +1,12 @@
-\r
-T1900.hs:7:3: error:\r
-    Couldn't match type ‘Depend s0’ with ‘Depend s’\r
-    NB: ‘Depend’ is a type function, and may not be injective\r
-    The type variable ‘s0’ is ambiguous\r
-    Expected type: Depend s -> Depend s\r
-      Actual type: Depend s0 -> Depend s0\r
-    In the ambiguity check for ‘trans’\r
-    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes\r
-    When checking the class method:\r
-      trans :: forall s. Bug s => Depend s -> Depend s\r
-    In the class declaration for ‘Bug’\r
+
+T1900.hs:7:3: error:
+    • Couldn't match type ‘Depend s0’ with ‘Depend s’
+      NB: ‘Depend’ is a type function, and may not be injective
+      The type variable ‘s0’ is ambiguous
+      Expected type: Depend s -> Depend s
+        Actual type: Depend s0 -> Depend s0
+    • In the ambiguity check for ‘trans’
+      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+      When checking the class method:
+        trans :: forall s. Bug s => Depend s -> Depend s
+      In the class declaration for ‘Bug’
index d2ba6ae..7a354cb 100644 (file)
@@ -1,4 +1,4 @@
-\r
-T2157.hs:7:15: error:\r
-    The type synonym ‘S’ should have 2 arguments, but has been given 1\r
-    In the type instance declaration for ‘F’\r
+
+T2157.hs:7:15: error:
+    • The type synonym ‘S’ should have 2 arguments, but has been given 1
+    • In the type instance declaration for ‘F’
index 3bae5a6..3d768de 100644 (file)
@@ -1,11 +1,11 @@
-\r
-T9036.hs:17:17: error:\r
-    Couldn't match type ‘Curried t0 [t0]’ with ‘Curried t [t]’\r
-    NB: ‘Curried’ is a type function, and may not be injective\r
-    The type variable ‘t0’ is ambiguous\r
-    Expected type: Maybe (GetMonad t after) -> Curried t [t]\r
-      Actual type: Maybe (GetMonad t0 after) -> Curried t0 [t0]\r
-    In the ambiguity check for ‘simpleLogger’\r
-    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes\r
-    In the type signature:\r
-      simpleLogger :: Maybe (GetMonad t after) -> t `Curried` [t]\r
+
+T9036.hs:17:17: error:
+    • Couldn't match type ‘Curried t0 [t0]’ with ‘Curried t [t]’
+      NB: ‘Curried’ is a type function, and may not be injective
+      The type variable ‘t0’ is ambiguous
+      Expected type: Maybe (GetMonad t after) -> Curried t [t]
+        Actual type: Maybe (GetMonad t0 after) -> Curried t0 [t0]
+    • In the ambiguity check for ‘simpleLogger’
+      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+      In the type signature:
+        simpleLogger :: Maybe (GetMonad t after) -> t `Curried` [t]
index 73dfe9e..64d5042 100644 (file)
@@ -1,4 +1,5 @@
-\r
-T9433.hs:14:6: error:\r
-    The type family ‘Id’ should have 1 argument, but has been given none\r
-    In the type signature: x :: Map Id [Bool]\r
+
+T9433.hs:14:6: error:
+    • The type family ‘Id’ should have 1 argument, but has been given none
+    • In the type signature:
+        x :: Map Id [Bool]
index bdc9c5f..04dd2d3 100644 (file)
@@ -1,17 +1,17 @@
-\r
-TyFamUndec.hs:6:15: error:\r
-    Variable ‘b’ occurs more often\r
-      in the type family application ‘T (b, b)’ than in the instance head\r
-    (Use UndecidableInstances to permit this)\r
-    In the type instance declaration for ‘T’\r
-\r
-TyFamUndec.hs:7:15: error:\r
-    The type family application ‘T (a, Maybe b)’\r
-      is no smaller than the instance head\r
-    (Use UndecidableInstances to permit this)\r
-    In the type instance declaration for ‘T’\r
-\r
-TyFamUndec.hs:8:15: error:\r
-    Illegal nested type family application ‘T (a, T b)’\r
-    (Use UndecidableInstances to permit this)\r
-    In the type instance declaration for ‘T’\r
+
+TyFamUndec.hs:6:15: error:
+    • Variable ‘b’ occurs more often
+        in the type family application ‘T (b, b)’ than in the instance head
+      (Use UndecidableInstances to permit this)
+    • In the type instance declaration for ‘T’
+
+TyFamUndec.hs:7:15: error:
+    • The type family application ‘T (a, Maybe b)’
+        is no smaller than the instance head
+      (Use UndecidableInstances to permit this)
+    • In the type instance declaration for ‘T’
+
+TyFamUndec.hs:8:15: error:
+    • Illegal nested type family application ‘T (a, T b)’
+      (Use UndecidableInstances to permit this)
+    • In the type instance declaration for ‘T’
index 906e1d7..1c48186 100644 (file)
@@ -1,4 +1,4 @@
-\r
-mod101.hs:8:5: error:\r
-    Data constructor not in scope: ConB :: Bool -> DataA\r
-    Perhaps you meant ‘ConA’ (imported from Mod101_AuxB)\r
+
+mod101.hs:8:5: error:
+    • Data constructor not in scope: ConB :: Bool -> DataA
+    • Perhaps you meant ‘ConA’ (imported from Mod101_AuxB)
index 4bc9796..17ade93 100644 (file)
@@ -1,4 +1,4 @@
-\r
-mod102.hs:8:5: error:\r
-    Variable not in scope: methB :: Bool -> Bool -> ()\r
-    Perhaps you meant ‘methA’ (imported from Mod102_AuxB)\r
+
+mod102.hs:8:5: error:
+    • Variable not in scope: methB :: Bool -> Bool -> ()
+    • Perhaps you meant ‘methA’ (imported from Mod102_AuxB)
index 3547563..647a405 100644 (file)
@@ -1,4 +1,4 @@
-\r
-mod132.hs:6:7: error:\r
-    Data constructor not in scope: Foo\r
-    Perhaps you meant variable ‘foo’ (line 6)\r
+
+mod132.hs:6:7: error:
+    • Data constructor not in scope: Foo
+    • Perhaps you meant variable ‘foo’ (line 6)
index 3c049f2..11aa052 100644 (file)
@@ -1,7 +1,7 @@
-\r
-mod39.hs:3:17:\r
-    Constraint ‘Eq a’ in the type of ‘f’\r
-      constrains only the class type variables\r
-    Use ConstrainedClassMethods to allow it\r
-    When checking the class method: f :: forall a. (C a, Eq a) => a\r
-    In the class declaration for ‘C’\r
+
+mod39.hs:3:17: error:
+    • Constraint ‘Eq a’ in the type of ‘f’
+        constrains only the class type variables
+      Use ConstrainedClassMethods to allow it
+    • When checking the class method: f :: forall a. (C a, Eq a) => a
+      In the class declaration for ‘C’
index cf94537..7d21c93 100644 (file)
@@ -1,5 +1,5 @@
-\r
-mod60.hs:3:4: error:\r
-    The constructor ‘Left’ should have 1 argument, but has been given none\r
-    In the pattern: Left\r
-    In an equation for ‘f’: f (Left) = error "foo"\r
+
+mod60.hs:3:4: error:
+    • The constructor ‘Left’ should have 1 argument, but has been given none
+    • In the pattern: Left
+      In an equation for ‘f’: f (Left) = error "foo"
index 6cbd7ca..f592bc8 100644 (file)
@@ -1,5 +1,5 @@
-\r
-ParserNoBinaryLiterals2.hs:8:4: error:\r
-    The constructor ‘W#’ should have 1 argument, but has been given 2\r
-    In the pattern: W# 0 b0##\r
-    In an equation for ‘f’: f (W# 0 b0##) = ()\r
+
+ParserNoBinaryLiterals2.hs:8:4: error:
+    • The constructor ‘W#’ should have 1 argument, but has been given 2
+    • In the pattern: W# 0 b0##
+      In an equation for ‘f’: f (W# 0 b0##) = ()
index 1e4c475..fbe4bf5 100644 (file)
@@ -1,5 +1,5 @@
-\r
-ParserNoBinaryLiterals3.hs:8:4: error:\r
-    The constructor ‘I#’ should have 1 argument, but has been given 2\r
-    In the pattern: I# 0 b0#\r
-    In an equation for ‘f’: f (I# 0 b0#) = ()\r
+
+ParserNoBinaryLiterals3.hs:8:4: error:
+    • The constructor ‘I#’ should have 1 argument, but has been given 2
+    • In the pattern: I# 0 b0#
+      In an equation for ‘f’: f (I# 0 b0#) = ()
index 77355f1..505e5ae 100644 (file)
@@ -1,7 +1,7 @@
-TYPE SIGNATURES\r
-  bravo :: forall t. Num t => t\r
-TYPE CONSTRUCTORS\r
-COERCION AXIOMS\r
-Dependent modules: []\r
-Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,\r
-                     integer-gmp-1.0.0.0]\r
+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]
index 58ad32f..5398861 100644 (file)
@@ -1,7 +1,7 @@
-TYPE SIGNATURES\r
-  barry :: forall t. t -> (Either [Char] t, Either [Char] t)\r
-TYPE CONSTRUCTORS\r
-COERCION AXIOMS\r
-Dependent modules: []\r
-Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,\r
-                     integer-gmp-1.0.0.0]\r
+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]
index bdae2f7..3bb47be 100644 (file)
@@ -1,7 +1,7 @@
-TYPE SIGNATURES\r
-  every :: forall t. (t -> Bool) -> [t] -> Bool\r
-TYPE CONSTRUCTORS\r
-COERCION AXIOMS\r
-Dependent modules: []\r
-Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,\r
-                     integer-gmp-1.0.0.0]\r
+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]
index 990fe07..db1f996 100644 (file)
@@ -1,7 +1,7 @@
-TYPE SIGNATURES\r
-  showTwo :: forall a. Show a => a -> String\r
-TYPE CONSTRUCTORS\r
-COERCION AXIOMS\r
-Dependent modules: []\r
-Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,\r
-                     integer-gmp-1.0.0.0]\r
+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]
index 513b5ce..db0adb2 100644 (file)
@@ -1,7 +1,7 @@
-TYPE SIGNATURES\r
-  bar :: forall t. t -> Bool\r
-TYPE CONSTRUCTORS\r
-COERCION AXIOMS\r
-Dependent modules: []\r
-Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,\r
-                     integer-gmp-1.0.0.0]\r
+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]
index 866a685..6151c74 100644 (file)
@@ -1,7 +1,7 @@
-TYPE SIGNATURES\r
-  unc :: forall t t1 t2. (t -> t1 -> t2) -> (t, t1) -> t2\r
-TYPE CONSTRUCTORS\r
-COERCION AXIOMS\r
-Dependent modules: []\r
-Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,\r
-                     integer-gmp-1.0.0.0]\r
+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]
index e97c1f8..58116f8 100644 (file)
@@ -1,7 +1,7 @@
-TYPE SIGNATURES\r
-  unc :: forall t a b. (a -> b -> t) -> (a, b) -> t\r
-TYPE CONSTRUCTORS\r
-COERCION AXIOMS\r
-Dependent modules: []\r
-Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,\r
-                     integer-gmp-1.0.0.0]\r
+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]
index 31b90d9..a8f98d9 100644 (file)
@@ -1,8 +1,8 @@
-[1 of 2] Compiling ExtraConstraintsWildcardInTypeSplice ( ExtraConstraintsWildcardInTypeSplice.hs, ExtraConstraintsWildcardInTypeSplice.o )\r
-\r
-ExtraConstraintsWildcardInTypeSplice.hs:7:16: error:\r
-    Wildcard ‘_’ not allowed in a constraint\r
-      except as the last top-level constraint of a type signature\r
-        e.g  f :: (Eq a, _) => blah\r
-      in a Template-Haskell quoted type\r
-    In the Template Haskell quotation [t| _ => _ |]\r
+[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| _ => _ |]
index 59f5b93..244b470 100644 (file)
@@ -1,12 +1,12 @@
-\r
-NamedWildcardsNotInMonotype.hs:5:1: error:\r
-    Could not deduce (Eq t0)\r
-    from the context: (Show a, Eq t, Eq a)\r
-      bound by the inferred type for ‘foo’:\r
-                 (Show a, Eq t, Eq a) => a -> a -> String\r
-      at NamedWildcardsNotInMonotype.hs:5:1-33\r
-    The type variable ‘t0’ is ambiguous\r
-    In the ambiguity check for the inferred type for ‘foo’\r
-    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes\r
-    When checking the inferred type\r
-      foo :: forall t a. (Show a, Eq t, Eq a) => a -> a -> String\r
+
+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
index 6e87e4f..db14490 100644 (file)
@@ -1,74 +1,74 @@
-\r
-WildcardsInPatternAndExprSig.hs:4:18: error:\r
-    Found type wildcard ‘_a’ standing for ‘t’\r
-    Where: ‘t’ is a rigid type variable bound by\r
-               the inferred type of bar :: Maybe [t] -> t -> [t]\r
-               at WildcardsInPatternAndExprSig.hs:4:1\r
-    To use the inferred type, enable PartialTypeSignatures\r
-    In a pattern type signature: _a\r
-    In the pattern: x :: _a\r
-    In the pattern: [x :: _a]\r
-    Relevant bindings include\r
-      bar :: Maybe [t] -> t -> [t]\r
-        (bound at WildcardsInPatternAndExprSig.hs:4:1)\r
-\r
-WildcardsInPatternAndExprSig.hs:4:25: error:\r
-    Found type wildcard ‘_’ standing for ‘[t]’\r
-    Where: ‘t’ is a rigid type variable bound by\r
-               the inferred type of bar :: Maybe [t] -> t -> [t]\r
-               at WildcardsInPatternAndExprSig.hs:4:1\r
-    To use the inferred type, enable PartialTypeSignatures\r
-    In a pattern type signature: _\r
-    In the pattern: [x :: _a] :: _\r
-    In the pattern: Just ([x :: _a] :: _)\r
-    Relevant bindings include\r
-      bar :: Maybe [t] -> t -> [t]\r
-        (bound at WildcardsInPatternAndExprSig.hs:4:1)\r
-\r
-WildcardsInPatternAndExprSig.hs:4:38: error:\r
-    Found type wildcard ‘_b’ standing for ‘t’\r
-    Where: ‘t’ is a rigid type variable bound by\r
-               the inferred type of bar :: Maybe [t] -> t -> [t]\r
-               at WildcardsInPatternAndExprSig.hs:4:1\r
-    To use the inferred type, enable PartialTypeSignatures\r
-    In a pattern type signature: Maybe [_b]\r
-    In the pattern: Just ([x :: _a] :: _) :: Maybe [_b]\r
-    In an equation for ‘bar’:\r
-        bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c)\r
-          = [x, z] :: [_d]\r
-    Relevant bindings include\r
-      bar :: Maybe [t] -> t -> [t]\r
-        (bound at WildcardsInPatternAndExprSig.hs:4:1)\r
-\r
-WildcardsInPatternAndExprSig.hs:4:49: error:\r
-    Found type wildcard ‘_c’ standing for ‘t’\r
-    Where: ‘t’ is a rigid type variable bound by\r
-               the inferred type of bar :: Maybe [t] -> t -> [t]\r
-               at WildcardsInPatternAndExprSig.hs:4:1\r
-    To use the inferred type, enable PartialTypeSignatures\r
-    In a pattern type signature: _c\r
-    In the pattern: z :: _c\r
-    In an equation for ‘bar’:\r
-        bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c)\r
-          = [x, z] :: [_d]\r
-    Relevant bindings include\r
-      x :: t (bound at WildcardsInPatternAndExprSig.hs:4:13)\r
-      bar :: Maybe [t] -> t -> [t]\r
-        (bound at WildcardsInPatternAndExprSig.hs:4:1)\r
-\r
-WildcardsInPatternAndExprSig.hs:4:66: error:\r
-    Found type wildcard ‘_d’ standing for ‘t’\r
-    Where: ‘t’ is a rigid type variable bound by\r
-               the inferred type of bar :: Maybe [t] -> t -> [t]\r
-               at WildcardsInPatternAndExprSig.hs:4:1\r
-    To use the inferred type, enable PartialTypeSignatures\r
-    In an expression type signature: [_d]\r
-    In the expression: [x, z] :: [_d]\r
-    In an equation for ‘bar’:\r
-        bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c)\r
-          = [x, z] :: [_d]\r
-    Relevant bindings include\r
-      z :: t (bound at WildcardsInPatternAndExprSig.hs:4:44)\r
-      x :: t (bound at WildcardsInPatternAndExprSig.hs:4:13)\r
-      bar :: Maybe [t] -> t -> [t]\r
-        (bound at WildcardsInPatternAndExprSig.hs:4:1)\r
+
+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)