diff options
Diffstat (limited to 'testsuite/tests/partial-sigs')
109 files changed, 224 insertions, 226 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/ExprSigLocal.stderr b/testsuite/tests/partial-sigs/should_compile/ExprSigLocal.stderr index 6e23ec6ff5..7804228b0b 100644 --- a/testsuite/tests/partial-sigs/should_compile/ExprSigLocal.stderr +++ b/testsuite/tests/partial-sigs/should_compile/ExprSigLocal.stderr @@ -1,5 +1,5 @@ -ExprSigLocal.hs:9:35: warning: [-Wpartial-type-signatures (in -Wdefault)] +ExprSigLocal.hs:9:35: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘a’ Where: ‘a’ is a rigid type variable bound by the inferred type of <expression> :: a -> a @@ -10,7 +10,7 @@ ExprSigLocal.hs:9:35: warning: [-Wpartial-type-signatures (in -Wdefault)] • Relevant bindings include y :: b -> b (bound at ExprSigLocal.hs:9:1) -ExprSigLocal.hs:11:21: warning: [-Wpartial-type-signatures (in -Wdefault)] +ExprSigLocal.hs:11:21: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘a’ Where: ‘a’ is a rigid type variable bound by the inferred type of g :: a -> a diff --git a/testsuite/tests/partial-sigs/should_compile/SplicesUsed.stderr b/testsuite/tests/partial-sigs/should_compile/SplicesUsed.stderr index fa77d1d0f7..1f776ecc42 100644 --- a/testsuite/tests/partial-sigs/should_compile/SplicesUsed.stderr +++ b/testsuite/tests/partial-sigs/should_compile/SplicesUsed.stderr @@ -1,12 +1,12 @@ [1 of 2] Compiling Splices ( Splices.hs, Splices.o ) [2 of 2] Compiling SplicesUsed ( SplicesUsed.hs, SplicesUsed.o ) -SplicesUsed.hs:7:15: warning: [-Wpartial-type-signatures (in -Wdefault)] +SplicesUsed.hs:7:15: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘Maybe Bool’ • In the type ‘_’ In the type signature: maybeBool :: (_) -SplicesUsed.hs:8:14: warning: [-Wpartial-type-signatures (in -Wdefault)] +SplicesUsed.hs:8:14: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_a’ standing for ‘w’ Where: ‘w’ is a rigid type variable bound by the inferred type of <expression> :: w -> w @@ -18,7 +18,7 @@ SplicesUsed.hs:8:14: warning: [-Wpartial-type-signatures (in -Wdefault)] • Relevant bindings include maybeBool :: Maybe Bool (bound at SplicesUsed.hs:8:1) -SplicesUsed.hs:8:26: warning: [-Wpartial-type-signatures (in -Wdefault)] +SplicesUsed.hs:8:26: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘Bool’ • In the first argument of ‘Maybe’, namely ‘_’ In the type ‘Maybe _’ @@ -26,7 +26,7 @@ SplicesUsed.hs:8:26: warning: [-Wpartial-type-signatures (in -Wdefault)] • Relevant bindings include maybeBool :: Maybe Bool (bound at SplicesUsed.hs:8:1) -SplicesUsed.hs:10:16: warning: [-Wpartial-type-signatures (in -Wdefault)] +SplicesUsed.hs:10:16: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘(Char, a)’ Where: ‘a’ is a rigid type variable bound by the inferred type of charA :: a -> (Char, a) @@ -34,7 +34,7 @@ SplicesUsed.hs:10:16: warning: [-Wpartial-type-signatures (in -Wdefault)] • In the type ‘a -> (_)’ In the type signature: charA :: a -> (_) -SplicesUsed.hs:13:13: warning: [-Wpartial-type-signatures (in -Wdefault)] +SplicesUsed.hs:13:13: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘a -> Bool’ Where: ‘a’ is a rigid type variable bound by the inferred type of filter' :: (a -> Bool) -> [a] -> [a] @@ -42,7 +42,7 @@ SplicesUsed.hs:13:13: warning: [-Wpartial-type-signatures (in -Wdefault)] • In the type ‘_ -> _ -> _’ In the type signature: filter' :: (_ -> _ -> _) -SplicesUsed.hs:13:13: warning: [-Wpartial-type-signatures (in -Wdefault)] +SplicesUsed.hs:13:13: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘[a]’ Where: ‘a’ is a rigid type variable bound by the inferred type of filter' :: (a -> Bool) -> [a] -> [a] @@ -50,7 +50,7 @@ SplicesUsed.hs:13:13: warning: [-Wpartial-type-signatures (in -Wdefault)] • In the type ‘_ -> _ -> _’ In the type signature: filter' :: (_ -> _ -> _) -SplicesUsed.hs:13:13: warning: [-Wpartial-type-signatures (in -Wdefault)] +SplicesUsed.hs:13:13: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘[a]’ Where: ‘a’ is a rigid type variable bound by the inferred type of filter' :: (a -> Bool) -> [a] -> [a] @@ -58,25 +58,25 @@ SplicesUsed.hs:13:13: warning: [-Wpartial-type-signatures (in -Wdefault)] • In the type ‘_ -> _ -> _’ In the type signature: filter' :: (_ -> _ -> _) -SplicesUsed.hs:16:2: warning: [-Wpartial-type-signatures (in -Wdefault)] +SplicesUsed.hs:16:2: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found extra-constraints wildcard standing for ‘Eq a’ Where: ‘a’ is a rigid type variable bound by the inferred type of foo :: Eq a => a -> a -> Bool at SplicesUsed.hs:16:2-11 • In the type signature: foo :: _ => _ -SplicesUsed.hs:16:2: warning: [-Wpartial-type-signatures (in -Wdefault)] +SplicesUsed.hs:16:2: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘a -> a -> Bool’ Where: ‘a’ is a rigid type variable bound by the inferred type of foo :: Eq a => a -> a -> Bool at SplicesUsed.hs:16:2-11 • In the type signature: foo :: _ => _ -SplicesUsed.hs:18:2: warning: [-Wpartial-type-signatures (in -Wdefault)] +SplicesUsed.hs:18:2: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_a’ standing for ‘Bool’ • In the type signature: bar :: _a -> _b -> (_a, _b) -SplicesUsed.hs:18:2: warning: [-Wpartial-type-signatures (in -Wdefault)] +SplicesUsed.hs:18:2: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_b’ standing for ‘w’ Where: ‘w’ is a rigid type variable bound by the inferred type of bar :: Bool -> w -> (Bool, w) diff --git a/testsuite/tests/partial-sigs/should_compile/SuperCls.stderr b/testsuite/tests/partial-sigs/should_compile/SuperCls.stderr index 0f1a1fa77b..d4049ce61e 100644 --- a/testsuite/tests/partial-sigs/should_compile/SuperCls.stderr +++ b/testsuite/tests/partial-sigs/should_compile/SuperCls.stderr @@ -1,4 +1,4 @@ -SuperCls.hs:4:14: warning: [-Wpartial-type-signatures (in -Wdefault)] +SuperCls.hs:4:14: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found extra-constraints wildcard standing for ‘()’ • In the type signature: f :: (Ord a, _) => a -> Bool diff --git a/testsuite/tests/partial-sigs/should_compile/T10403.stderr b/testsuite/tests/partial-sigs/should_compile/T10403.stderr index 38f562a516..37f5ad522b 100644 --- a/testsuite/tests/partial-sigs/should_compile/T10403.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T10403.stderr @@ -1,19 +1,19 @@ -T10403.hs:16:7: warning: [-Wpartial-type-signatures (in -Wdefault)] +T10403.hs:16:7: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found extra-constraints wildcard standing for ‘Functor f’ Where: ‘f’ is a rigid type variable bound by the inferred type of h1 :: Functor f => (a1 -> a2) -> f a1 -> H f at T10403.hs:18:1-41 • In the type signature: h1 :: _ => _ -T10403.hs:16:12: warning: [-Wpartial-type-signatures (in -Wdefault)] +T10403.hs:16:12: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘(a1 -> a2) -> f a1 -> H f’ Where: ‘a2’, ‘a1’, ‘f’ are rigid type variables bound by the inferred type of h1 :: Functor f => (a1 -> a2) -> f a1 -> H f at T10403.hs:18:1-41 • In the type signature: h1 :: _ => _ -T10403.hs:20:7: warning: [-Wpartial-type-signatures (in -Wdefault)] +T10403.hs:20:7: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘(a1 -> a2) -> f0 a1 -> H f0’ Where: ‘f0’ is an ambiguous type variable @@ -22,7 +22,7 @@ T10403.hs:20:7: warning: [-Wpartial-type-signatures (in -Wdefault)] at T10403.hs:23:1-41 • In the type signature: h2 :: _ -T10403.hs:23:15: warning: [-Wdeferred-type-errors (in -Wdefault)] +T10403.hs:23:15: warning: [GHC-39999] [-Wdeferred-type-errors (in -Wdefault)] • Ambiguous type variable ‘f0’ arising from a use of ‘fmap’ prevents the constraint ‘(Functor f0)’ from being solved. Relevant bindings include @@ -39,7 +39,7 @@ T10403.hs:23:15: warning: [-Wdeferred-type-errors (in -Wdefault)] In the expression: (H . fmap (const ())) (fmap f b) In an equation for ‘h2’: h2 f b = (H . fmap (const ())) (fmap f b) -T10403.hs:29:8: warning: [-Wdeferred-type-errors (in -Wdefault)] +T10403.hs:29:8: warning: [GHC-46956] [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match type ‘f0’ with ‘B t’ Expected: H (B t) Actual: H f0 diff --git a/testsuite/tests/partial-sigs/should_compile/T10438.stderr b/testsuite/tests/partial-sigs/should_compile/T10438.stderr index 358fb52ba8..ded1e087f8 100644 --- a/testsuite/tests/partial-sigs/should_compile/T10438.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T10438.stderr @@ -1,5 +1,5 @@ -T10438.hs:7:22: warning: [-Wpartial-type-signatures (in -Wdefault)] +T10438.hs:7:22: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘p3’ Where: ‘p3’ is a rigid type variable bound by the inferred type of g :: p3 -> p3 diff --git a/testsuite/tests/partial-sigs/should_compile/T10463.stderr b/testsuite/tests/partial-sigs/should_compile/T10463.stderr index 4ae894f8fe..9e74a9f02c 100644 --- a/testsuite/tests/partial-sigs/should_compile/T10463.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T10463.stderr @@ -1,5 +1,5 @@ -T10463.hs:5:9: warning: [-Wpartial-type-signatures (in -Wdefault)] +T10463.hs:5:9: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘[Char]’ • In a pattern type signature: _ In the pattern: x :: _ diff --git a/testsuite/tests/partial-sigs/should_compile/T10519.stderr b/testsuite/tests/partial-sigs/should_compile/T10519.stderr index d2db5da38e..d5bc2a9430 100644 --- a/testsuite/tests/partial-sigs/should_compile/T10519.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T10519.stderr @@ -1,5 +1,5 @@ -T10519.hs:5:18: warning: [-Wpartial-type-signatures (in -Wdefault)] +T10519.hs:5:18: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found extra-constraints wildcard standing for ‘Eq a’ Where: ‘a’ is a rigid type variable bound by the inferred type of foo :: Eq a => a -> a -> Bool diff --git a/testsuite/tests/partial-sigs/should_compile/T11016.stderr b/testsuite/tests/partial-sigs/should_compile/T11016.stderr index 8d3ffe4cf5..667fcddfdf 100644 --- a/testsuite/tests/partial-sigs/should_compile/T11016.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T11016.stderr @@ -1,8 +1,8 @@ -T11016.hs:5:19: warning: [-Wpartial-type-signatures (in -Wdefault)] +T11016.hs:5:19: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found extra-constraints wildcard standing for ‘()’ • In the type signature: f1 :: (?x :: Int, _) => Int -T11016.hs:8:22: warning: [-Wpartial-type-signatures (in -Wdefault)] +T11016.hs:8:22: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘Int’ • In the type signature: f2 :: (?x :: Int) => _ diff --git a/testsuite/tests/partial-sigs/should_compile/T11192.stderr b/testsuite/tests/partial-sigs/should_compile/T11192.stderr index 6cfbe62628..e6c942ae6c 100644 --- a/testsuite/tests/partial-sigs/should_compile/T11192.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T11192.stderr @@ -1,5 +1,5 @@ -T11192.hs:7:14: warning: [-Wpartial-type-signatures (in -Wdefault)] +T11192.hs:7:14: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘Int -> p -> p’ Where: ‘p’ is a rigid type variable bound by the inferred type of go :: Int -> p -> p @@ -18,7 +18,7 @@ T11192.hs:7:14: warning: [-Wpartial-type-signatures (in -Wdefault)] in go (0 :: Int) undefined • Relevant bindings include fails :: a (bound at T11192.hs:6:1) -T11192.hs:13:14: warning: [-Wpartial-type-signatures (in -Wdefault)] +T11192.hs:13:14: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘p1 -> p2 -> p2’ Where: ‘p1’, ‘p2’ are rigid type variables bound by the inferred type of go :: p1 -> p2 -> p2 diff --git a/testsuite/tests/partial-sigs/should_compile/T11339a.stderr b/testsuite/tests/partial-sigs/should_compile/T11339a.stderr index c5c5e6f312..225ebf2ec7 100644 --- a/testsuite/tests/partial-sigs/should_compile/T11339a.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T11339a.stderr @@ -1,5 +1,5 @@ -T11339a.hs:5:8: warning: [-Wpartial-type-signatures (in -Wdefault)] +T11339a.hs:5:8: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘a -> a’ Where: ‘a’ is a rigid type variable bound by the inferred type of bar :: a -> a diff --git a/testsuite/tests/partial-sigs/should_compile/T11670.stderr b/testsuite/tests/partial-sigs/should_compile/T11670.stderr index 2d26722373..8a5a342e81 100644 --- a/testsuite/tests/partial-sigs/should_compile/T11670.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T11670.stderr @@ -1,5 +1,5 @@ -T11670.hs:10:42: warning: [-Wpartial-type-signatures (in -Wdefault)] +T11670.hs:10:42: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘CLong’ • In the first argument of ‘IO’, namely ‘_’ In the type ‘IO _’ @@ -8,7 +8,7 @@ T11670.hs:10:42: warning: [-Wpartial-type-signatures (in -Wdefault)] ptr :: Ptr a (bound at T11670.hs:10:6) peek :: Ptr a -> IO CLong (bound at T11670.hs:10:1) -T11670.hs:13:40: warning: [-Wpartial-type-signatures (in -Wdefault)] +T11670.hs:13:40: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found extra-constraints wildcard standing for ‘Storable w’ Where: ‘w’ is a rigid type variable bound by the inferred type of <expression> :: Storable w => IO w @@ -21,7 +21,7 @@ T11670.hs:13:40: warning: [-Wpartial-type-signatures (in -Wdefault)] ptr :: Ptr a (bound at T11670.hs:13:7) peek2 :: Ptr a -> IO CLong (bound at T11670.hs:13:1) -T11670.hs:13:48: warning: [-Wpartial-type-signatures (in -Wdefault)] +T11670.hs:13:48: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘w’ Where: ‘w’ is a rigid type variable bound by the inferred type of <expression> :: Storable w => IO w diff --git a/testsuite/tests/partial-sigs/should_compile/T12033.stderr b/testsuite/tests/partial-sigs/should_compile/T12033.stderr index 9f9fdd6a17..af4bbec927 100644 --- a/testsuite/tests/partial-sigs/should_compile/T12033.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T12033.stderr @@ -1,5 +1,5 @@ -T12033.hs:12:22: warning: [-Wpartial-type-signatures (in -Wdefault)] +T12033.hs:12:22: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘v -> t’ Where: ‘v’ is a rigid type variable bound by the type signature for: diff --git a/testsuite/tests/partial-sigs/should_compile/T12156.stderr b/testsuite/tests/partial-sigs/should_compile/T12156.stderr index f1a5b9da14..d0bcffc91b 100644 --- a/testsuite/tests/partial-sigs/should_compile/T12156.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T12156.stderr @@ -1,2 +1,2 @@ -T12156.hs:3:14: error: Variable not in scope: v +T12156.hs:3:14: error: [GHC-88464] Variable not in scope: v diff --git a/testsuite/tests/partial-sigs/should_compile/T12531.stderr b/testsuite/tests/partial-sigs/should_compile/T12531.stderr index a17062d2f0..539fc21597 100644 --- a/testsuite/tests/partial-sigs/should_compile/T12531.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T12531.stderr @@ -1,5 +1,5 @@ -T12531.hs:6:11: warning: [-Wtyped-holes (in -Wdefault)] +T12531.hs:6:11: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] • Found hole: _ :: Int# • In the first argument of ‘(+#)’, namely ‘_’ In the first argument of ‘I#’, namely ‘(_ +# x)’ diff --git a/testsuite/tests/partial-sigs/should_compile/T12844.stderr b/testsuite/tests/partial-sigs/should_compile/T12844.stderr index 52c0d8c7d1..0c6e158c40 100644 --- a/testsuite/tests/partial-sigs/should_compile/T12844.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T12844.stderr @@ -1,5 +1,5 @@ -T12844.hs:12:9: warning: [-Wpartial-type-signatures (in -Wdefault)] +T12844.hs:12:9: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found extra-constraints wildcard standing for ‘(Head rngs ~ '(r, r'), Foo rngs)’ Where: ‘r’, ‘r'’, ‘k1’, ‘k2’, ‘rngs’ diff --git a/testsuite/tests/partial-sigs/should_compile/T12845.stderr b/testsuite/tests/partial-sigs/should_compile/T12845.stderr index fb7cc70db4..912784a092 100644 --- a/testsuite/tests/partial-sigs/should_compile/T12845.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T12845.stderr @@ -1,7 +1,8 @@ -T12845.hs:18:70: warning: [-Wpartial-type-signatures (in -Wdefault)] +T12845.hs:18:70: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found extra-constraints wildcard standing for ‘()’ • In the type signature: - broken :: forall r r' rngs. - ('(r, r') ~ Head rngs, Bar r r' ~ 'True, _) => - Foo r -> Proxy rngs -> () + broken :: forall r r' rngs. ('(r, r') ~ Head rngs, + Bar r r' ~ 'True, + _) => + Foo r -> Proxy rngs -> () diff --git a/testsuite/tests/partial-sigs/should_compile/T13324_compile2.stderr b/testsuite/tests/partial-sigs/should_compile/T13324_compile2.stderr index 5648054c39..5ac4b22df6 100644 --- a/testsuite/tests/partial-sigs/should_compile/T13324_compile2.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T13324_compile2.stderr @@ -1,5 +1,5 @@ -T13324_compile2.hs:7:19: warning: [-Wpartial-type-signatures (in -Wdefault)] +T13324_compile2.hs:7:19: warning: [GHC-60661] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘Show a’ • In the instance declaration for ‘Show (Option a)’ Suggested fix: diff --git a/testsuite/tests/partial-sigs/should_compile/T13482.stderr b/testsuite/tests/partial-sigs/should_compile/T13482.stderr index 85cd1115dc..2444742120 100644 --- a/testsuite/tests/partial-sigs/should_compile/T13482.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T13482.stderr @@ -1,5 +1,5 @@ -T13482.hs:10:32: warning: [-Wpartial-type-signatures (in -Wdefault)] +T13482.hs:10:32: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found extra-constraints wildcard standing for ‘(Eq m, Monoid m)’ Where: ‘m’ is a rigid type variable bound by the inferred type of @@ -8,21 +8,21 @@ T13482.hs:10:32: warning: [-Wpartial-type-signatures (in -Wdefault)] • In the type signature: minimal1_noksig :: forall m. _ => Int -> Bool -T13482.hs:13:33: warning: [-Wpartial-type-signatures (in -Wdefault)] +T13482.hs:13:33: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found extra-constraints wildcard standing for ‘(Eq m, Monoid m)’ Where: ‘m’ is a rigid type variable bound by the inferred type of minimal1 :: (Eq m, Monoid m) => Bool at T13482.hs:13:21 • In the type signature: minimal1 :: forall (m :: Type). _ => Bool -T13482.hs:16:30: warning: [-Wpartial-type-signatures (in -Wdefault)] +T13482.hs:16:30: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found extra-constraints wildcard standing for ‘Monoid m’ Where: ‘m’ is a rigid type variable bound by the inferred type of minimal2 :: (Eq m, Monoid m) => Bool at T13482.hs:16:20 • In the type signature: minimal2 :: forall m. (Eq m, _) => Bool -T13482.hs:19:34: warning: [-Wpartial-type-signatures (in -Wdefault)] +T13482.hs:19:34: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found extra-constraints wildcard standing for ‘Eq m’ Where: ‘m’ is a rigid type variable bound by the inferred type of minimal3 :: (Monoid m, Eq m) => Bool diff --git a/testsuite/tests/partial-sigs/should_compile/T14217.stderr b/testsuite/tests/partial-sigs/should_compile/T14217.stderr index 913753be98..dd4573cc79 100644 --- a/testsuite/tests/partial-sigs/should_compile/T14217.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T14217.stderr @@ -1,5 +1,5 @@ -T14217.hs:32:11: error: +T14217.hs:32:11: error: [GHC-88464] • Found extra-constraints wildcard standing for ‘(Eq a1, Eq a2, Eq a3, Eq a4, Eq a5, Eq a6, Eq a7, Eq a8, Eq a9, Eq a10, Eq a11, Eq a12, Eq a13, Eq a14, Eq a15, Eq a16, Eq a17, diff --git a/testsuite/tests/partial-sigs/should_compile/T14643.stderr b/testsuite/tests/partial-sigs/should_compile/T14643.stderr index 9c56cb629f..cc8920f705 100644 --- a/testsuite/tests/partial-sigs/should_compile/T14643.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T14643.stderr @@ -1,9 +1,8 @@ -T14643.hs:5:18: warning: [-Wpartial-type-signatures (in -Wdefault)] +T14643.hs:5:18: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found extra-constraints wildcard standing for ‘()’ • In the type signature: af :: (Num a, _) => a -> a -T14643.hs:5:18: warning: [-Wpartial-type-signatures (in -Wdefault)] +T14643.hs:5:18: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found extra-constraints wildcard standing for ‘()’ • In the type signature: ag :: (Num a, _) => a -> a - diff --git a/testsuite/tests/partial-sigs/should_compile/T14643a.stderr b/testsuite/tests/partial-sigs/should_compile/T14643a.stderr index 6f41472472..d8f7b19a02 100644 --- a/testsuite/tests/partial-sigs/should_compile/T14643a.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T14643a.stderr @@ -1,8 +1,8 @@ -T14643a.hs:5:14: warning: [-Wpartial-type-signatures (in -Wdefault)] +T14643a.hs:5:14: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found extra-constraints wildcard standing for ‘()’ • In the type signature: af :: (Num a, _) => a -> a -T14643a.hs:8:14: warning: [-Wpartial-type-signatures (in -Wdefault)] +T14643a.hs:8:14: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found extra-constraints wildcard standing for ‘()’ • In the type signature: ag :: (Num a, _) => a -> a diff --git a/testsuite/tests/partial-sigs/should_compile/T14658.stderr b/testsuite/tests/partial-sigs/should_compile/T14658.stderr index 7c76ea24e2..1ff82e0966 100644 --- a/testsuite/tests/partial-sigs/should_compile/T14658.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T14658.stderr @@ -1,5 +1,5 @@ -T14658.hs:9:28: warning: [-Wpartial-type-signatures (in -Wdefault)] +T14658.hs:9:28: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found extra-constraints wildcard standing for ‘Eq a’ Where: ‘a’ is a rigid type variable bound by the inferred type of diff --git a/testsuite/tests/partial-sigs/should_compile/T14715.stderr b/testsuite/tests/partial-sigs/should_compile/T14715.stderr index 4d3a668241..d36ce8263d 100644 --- a/testsuite/tests/partial-sigs/should_compile/T14715.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T14715.stderr @@ -1,5 +1,5 @@ -T14715.hs:13:53: warning: [-Wpartial-type-signatures (in -Wdefault)] +T14715.hs:13:53: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found extra-constraints wildcard standing for ‘Reduce z zq’ Where: ‘z’, ‘zq’ are rigid type variables bound by the inferred type of diff --git a/testsuite/tests/partial-sigs/should_compile/T15039a.stderr b/testsuite/tests/partial-sigs/should_compile/T15039a.stderr index 1f07a650ac..712e5425ee 100644 --- a/testsuite/tests/partial-sigs/should_compile/T15039a.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T15039a.stderr @@ -1,5 +1,5 @@ -T15039a.hs:19:14: warning: [-Wpartial-type-signatures (in -Wdefault)] +T15039a.hs:19:14: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘Dict (a ~ b)’ Where: ‘a’, ‘b’ are rigid type variables bound by the type signature for: @@ -11,7 +11,7 @@ T15039a.hs:19:14: warning: [-Wpartial-type-signatures (in -Wdefault)] • Relevant bindings include ex1 :: Dict (a ~ b) -> () (bound at T15039a.hs:19:1) -T15039a.hs:22:14: warning: [-Wpartial-type-signatures (in -Wdefault)] +T15039a.hs:22:14: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘Dict (a ~ b)’ Where: ‘a’, ‘b’ are rigid type variables bound by the type signature for: @@ -23,7 +23,7 @@ T15039a.hs:22:14: warning: [-Wpartial-type-signatures (in -Wdefault)] • Relevant bindings include ex2 :: Dict (a ~ b) -> () (bound at T15039a.hs:22:1) -T15039a.hs:25:14: warning: [-Wpartial-type-signatures (in -Wdefault)] +T15039a.hs:25:14: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘Dict (a ~~ b)’ Where: ‘a’, ‘k’, ‘b’ are rigid type variables bound by the type signature for: @@ -35,7 +35,7 @@ T15039a.hs:25:14: warning: [-Wpartial-type-signatures (in -Wdefault)] • Relevant bindings include ex3 :: Dict (a ~~ b) -> () (bound at T15039a.hs:25:1) -T15039a.hs:33:14: warning: [-Wpartial-type-signatures (in -Wdefault)] +T15039a.hs:33:14: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘Dict (Coercible a b)’ Where: ‘a’, ‘b’ are rigid type variables bound by the type signature for: @@ -47,7 +47,7 @@ T15039a.hs:33:14: warning: [-Wpartial-type-signatures (in -Wdefault)] • Relevant bindings include ex6 :: Dict (Coercible a b) -> () (bound at T15039a.hs:33:1) -T15039a.hs:35:8: warning: [-Wpartial-type-signatures (in -Wdefault)] +T15039a.hs:35:8: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found extra-constraints wildcard standing for ‘Coercible a b’ Where: ‘a’, ‘b’ are rigid type variables bound by the inferred type of ex7 :: Coercible a b => Coercion a b diff --git a/testsuite/tests/partial-sigs/should_compile/T15039b.stderr b/testsuite/tests/partial-sigs/should_compile/T15039b.stderr index 73d366eb65..aa4703d6c3 100644 --- a/testsuite/tests/partial-sigs/should_compile/T15039b.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T15039b.stderr @@ -1,5 +1,5 @@ -T15039b.hs:19:14: warning: [-Wpartial-type-signatures (in -Wdefault)] +T15039b.hs:19:14: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘Dict ((a :: *) ~ (b :: *))’ Where: ‘a’, ‘b’ are rigid type variables bound by the type signature for: @@ -11,7 +11,7 @@ T15039b.hs:19:14: warning: [-Wpartial-type-signatures (in -Wdefault)] • Relevant bindings include ex1 :: Dict ((a :: *) ~ (b :: *)) -> () (bound at T15039b.hs:19:1) -T15039b.hs:22:14: warning: [-Wpartial-type-signatures (in -Wdefault)] +T15039b.hs:22:14: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘Dict ((a :: *) ~ (b :: *))’ Where: ‘a’, ‘b’ are rigid type variables bound by the type signature for: @@ -23,7 +23,7 @@ T15039b.hs:22:14: warning: [-Wpartial-type-signatures (in -Wdefault)] • Relevant bindings include ex2 :: Dict ((a :: *) ~ (b :: *)) -> () (bound at T15039b.hs:22:1) -T15039b.hs:25:14: warning: [-Wpartial-type-signatures (in -Wdefault)] +T15039b.hs:25:14: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘Dict ((a :: *) ~~ (b :: k))’ Where: ‘a’, ‘k’, ‘b’ are rigid type variables bound by @@ -36,7 +36,7 @@ T15039b.hs:25:14: warning: [-Wpartial-type-signatures (in -Wdefault)] • Relevant bindings include ex3 :: Dict ((a :: *) ~~ (b :: k)) -> () (bound at T15039b.hs:25:1) -T15039b.hs:33:14: warning: [-Wpartial-type-signatures (in -Wdefault)] +T15039b.hs:33:14: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘Dict (Coercible @(*) a b)’ Where: ‘a’, ‘b’ are rigid type variables bound by the type signature for: @@ -48,7 +48,7 @@ T15039b.hs:33:14: warning: [-Wpartial-type-signatures (in -Wdefault)] • Relevant bindings include ex6 :: Dict (Coercible @(*) a b) -> () (bound at T15039b.hs:33:1) -T15039b.hs:35:8: warning: [-Wpartial-type-signatures (in -Wdefault)] +T15039b.hs:35:8: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found extra-constraints wildcard standing for ‘Coercible @(*) a b’ Where: ‘a’, ‘b’ are rigid type variables bound by diff --git a/testsuite/tests/partial-sigs/should_compile/T15039c.stderr b/testsuite/tests/partial-sigs/should_compile/T15039c.stderr index 658c30c2b7..bc132260dc 100644 --- a/testsuite/tests/partial-sigs/should_compile/T15039c.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T15039c.stderr @@ -1,5 +1,5 @@ -T15039c.hs:19:14: warning: [-Wpartial-type-signatures (in -Wdefault)] +T15039c.hs:19:14: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘Dict (a ~ b)’ Where: ‘a’, ‘b’ are rigid type variables bound by the type signature for: @@ -11,7 +11,7 @@ T15039c.hs:19:14: warning: [-Wpartial-type-signatures (in -Wdefault)] • Relevant bindings include ex1 :: Dict (a ~ b) -> () (bound at T15039c.hs:19:1) -T15039c.hs:22:14: warning: [-Wpartial-type-signatures (in -Wdefault)] +T15039c.hs:22:14: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘Dict (a ~~ b)’ Where: ‘a’, ‘b’ are rigid type variables bound by the type signature for: @@ -23,7 +23,7 @@ T15039c.hs:22:14: warning: [-Wpartial-type-signatures (in -Wdefault)] • Relevant bindings include ex2 :: Dict (a ~~ b) -> () (bound at T15039c.hs:22:1) -T15039c.hs:25:14: warning: [-Wpartial-type-signatures (in -Wdefault)] +T15039c.hs:25:14: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘Dict (a ~~ b)’ Where: ‘a’, ‘k’, ‘b’ are rigid type variables bound by the type signature for: @@ -35,7 +35,7 @@ T15039c.hs:25:14: warning: [-Wpartial-type-signatures (in -Wdefault)] • Relevant bindings include ex3 :: Dict (a ~~ b) -> () (bound at T15039c.hs:25:1) -T15039c.hs:33:14: warning: [-Wpartial-type-signatures (in -Wdefault)] +T15039c.hs:33:14: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘Dict (Coercible a b)’ Where: ‘a’, ‘b’ are rigid type variables bound by the type signature for: @@ -47,7 +47,7 @@ T15039c.hs:33:14: warning: [-Wpartial-type-signatures (in -Wdefault)] • Relevant bindings include ex6 :: Dict (Coercible a b) -> () (bound at T15039c.hs:33:1) -T15039c.hs:35:8: warning: [-Wpartial-type-signatures (in -Wdefault)] +T15039c.hs:35:8: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found extra-constraints wildcard standing for ‘Coercible a b’ Where: ‘a’, ‘b’ are rigid type variables bound by the inferred type of ex7 :: Coercible a b => Coercion a b diff --git a/testsuite/tests/partial-sigs/should_compile/T15039d.stderr b/testsuite/tests/partial-sigs/should_compile/T15039d.stderr index 587b64126a..bdc3d62708 100644 --- a/testsuite/tests/partial-sigs/should_compile/T15039d.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T15039d.stderr @@ -1,5 +1,5 @@ -T15039d.hs:19:14: warning: [-Wpartial-type-signatures (in -Wdefault)] +T15039d.hs:19:14: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘Dict ((a :: *) ~ (b :: *))’ Where: ‘a’, ‘b’ are rigid type variables bound by the type signature for: @@ -11,7 +11,7 @@ T15039d.hs:19:14: warning: [-Wpartial-type-signatures (in -Wdefault)] • Relevant bindings include ex1 :: Dict ((a :: *) ~ (b :: *)) -> () (bound at T15039d.hs:19:1) -T15039d.hs:22:14: warning: [-Wpartial-type-signatures (in -Wdefault)] +T15039d.hs:22:14: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘Dict ((a :: *) ~~ (b :: *))’ Where: ‘a’, ‘b’ are rigid type variables bound by @@ -24,7 +24,7 @@ T15039d.hs:22:14: warning: [-Wpartial-type-signatures (in -Wdefault)] • Relevant bindings include ex2 :: Dict ((a :: *) ~~ (b :: *)) -> () (bound at T15039d.hs:22:1) -T15039d.hs:25:14: warning: [-Wpartial-type-signatures (in -Wdefault)] +T15039d.hs:25:14: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘Dict ((a :: *) ~~ (b :: k))’ Where: ‘a’, ‘k’, ‘b’ are rigid type variables bound by @@ -37,7 +37,7 @@ T15039d.hs:25:14: warning: [-Wpartial-type-signatures (in -Wdefault)] • Relevant bindings include ex3 :: Dict ((a :: *) ~~ (b :: k)) -> () (bound at T15039d.hs:25:1) -T15039d.hs:33:14: warning: [-Wpartial-type-signatures (in -Wdefault)] +T15039d.hs:33:14: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘Dict (Coercible @(*) a b)’ Where: ‘a’, ‘b’ are rigid type variables bound by the type signature for: @@ -49,7 +49,7 @@ T15039d.hs:33:14: warning: [-Wpartial-type-signatures (in -Wdefault)] • Relevant bindings include ex6 :: Dict (Coercible @(*) a b) -> () (bound at T15039d.hs:33:1) -T15039d.hs:35:8: warning: [-Wpartial-type-signatures (in -Wdefault)] +T15039d.hs:35:8: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found extra-constraints wildcard standing for ‘Coercible @(*) a b’ Where: ‘a’, ‘b’ are rigid type variables bound by diff --git a/testsuite/tests/partial-sigs/should_compile/T16152.stderr b/testsuite/tests/partial-sigs/should_compile/T16152.stderr index 554cf04766..01d71ba64b 100644 --- a/testsuite/tests/partial-sigs/should_compile/T16152.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T16152.stderr @@ -1,5 +1,5 @@ -T16152.hs:7:18: warning: [-Wpartial-type-signatures (in -Wdefault)] +T16152.hs:7:18: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘w’ Where: ‘w’ is a rigid type variable bound by the inferred type of top :: w diff --git a/testsuite/tests/partial-sigs/should_compile/T16334.stderr b/testsuite/tests/partial-sigs/should_compile/T16334.stderr index 83429e0d33..e39c482b54 100644 --- a/testsuite/tests/partial-sigs/should_compile/T16334.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T16334.stderr @@ -1,4 +1,4 @@ -T16334.hs:5:14: warning: [-Wpartial-type-signatures (in -Wdefault)] +T16334.hs:5:14: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_t’ standing for ‘Type’ • In the type signature: k :: (Int :: _t) diff --git a/testsuite/tests/partial-sigs/should_compile/T16728.stderr b/testsuite/tests/partial-sigs/should_compile/T16728.stderr index ebd01644de..6768b12d48 100644 --- a/testsuite/tests/partial-sigs/should_compile/T16728.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T16728.stderr @@ -1,5 +1,5 @@ -T16728.hs:8:37: warning: [-Wpartial-type-signatures (in -Wdefault)] +T16728.hs:8:37: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘k’ Where: ‘k’ is a rigid type variable bound by the inferred type of f :: Proxy x diff --git a/testsuite/tests/partial-sigs/should_compile/T16728a.stderr b/testsuite/tests/partial-sigs/should_compile/T16728a.stderr index 2c7e597623..a78fb1f2a6 100644 --- a/testsuite/tests/partial-sigs/should_compile/T16728a.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T16728a.stderr @@ -1,5 +1,5 @@ -T16728a.hs:4:22: warning: [-Wpartial-type-signatures (in -Wdefault)] +T16728a.hs:4:22: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘w’ Where: ‘w’ is a rigid type variable bound by the inferred types of @@ -9,7 +9,7 @@ T16728a.hs:4:22: warning: [-Wpartial-type-signatures (in -Wdefault)] • In the type ‘a -> _’ In the type signature: g :: forall a. a -> _ -T16728a.hs:4:22: warning: [-Wpartial-type-signatures (in -Wdefault)] +T16728a.hs:4:22: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘w’ Where: ‘w’ is a rigid type variable bound by the inferred types of @@ -18,4 +18,3 @@ T16728a.hs:4:22: warning: [-Wpartial-type-signatures (in -Wdefault)] at T16728a.hs:(5,1)-(7,9) • In the type ‘a -> _’ In the type signature: h :: forall a. a -> _ - diff --git a/testsuite/tests/partial-sigs/should_compile/T16728b.stderr b/testsuite/tests/partial-sigs/should_compile/T16728b.stderr index 84d10c1f45..02dcbac79e 100644 --- a/testsuite/tests/partial-sigs/should_compile/T16728b.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T16728b.stderr @@ -1,5 +1,5 @@ -T16728b.hs:4:22: warning: [-Wpartial-type-signatures (in -Wdefault)] +T16728b.hs:4:22: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘a’ Where: ‘a’ is a rigid type variable bound by the inferred type of g :: a -> a @@ -7,8 +7,7 @@ T16728b.hs:4:22: warning: [-Wpartial-type-signatures (in -Wdefault)] • In the type ‘a -> _’ In the type signature: g :: forall a. a -> _ -T16728b.hs:4:22: warning: [-Wpartial-type-signatures (in -Wdefault)] +T16728b.hs:4:22: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘Bool’ • In the type ‘a -> _’ In the type signature: h :: forall a. a -> _ - diff --git a/testsuite/tests/partial-sigs/should_compile/T18008.stderr b/testsuite/tests/partial-sigs/should_compile/T18008.stderr index 4b59da8b03..d5b35c957d 100644 --- a/testsuite/tests/partial-sigs/should_compile/T18008.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T18008.stderr @@ -1,5 +1,5 @@ -T18008.hs:5:43: warning: [-Wpartial-type-signatures (in -Wdefault)] +T18008.hs:5:43: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘String’ • In the type ‘(forall a. Show a => a -> String) -> _’ In the type signature: f :: (forall a. Show a => a -> String) -> _ diff --git a/testsuite/tests/partial-sigs/should_compile/T18646.stderr b/testsuite/tests/partial-sigs/should_compile/T18646.stderr index ab5bd90aa5..0a9a56e231 100644 --- a/testsuite/tests/partial-sigs/should_compile/T18646.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T18646.stderr @@ -1,19 +1,19 @@ -T18646.hs:9:17: warning: [-Wpartial-type-signatures (in -Wdefault)] +T18646.hs:9:17: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found extra-constraints wildcard standing for ‘Applicative f’ Where: ‘f’ is a rigid type variable bound by the inferred type of bar :: (Foo (), Applicative f) => f () at T18646.hs:9:1-26 • In the type signature: bar :: (Foo (), _) => f () -T18646.hs:12:18: warning: [-Wpartial-type-signatures (in -Wdefault)] +T18646.hs:12:18: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found extra-constraints wildcard standing for ‘Applicative f’ Where: ‘f’ is a rigid type variable bound by the inferred type of marie :: (Foo x, Applicative f) => f x at T18646.hs:12:1-26 • In the type signature: marie :: (Foo x, _) => f x -T18646.hs:15:9: warning: [-Wpartial-type-signatures (in -Wdefault)] +T18646.hs:15:9: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found extra-constraints wildcard standing for ‘(Applicative f, Foo x)’ Where: ‘f’, ‘x’ are rigid type variables bound by diff --git a/testsuite/tests/partial-sigs/should_compile/T20921.stderr b/testsuite/tests/partial-sigs/should_compile/T20921.stderr index 6c2156cc9f..f0f8272309 100644 --- a/testsuite/tests/partial-sigs/should_compile/T20921.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T20921.stderr @@ -1,5 +1,5 @@ -T20921.hs:37:46: warning: [-Wpartial-type-signatures (in -Wdefault)] +T20921.hs:37:46: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found extra-constraints wildcard standing for ‘C i’ Where: ‘i’ is a rigid type variable bound by the inferred type of quux :: (OK (Boo i), C i) => Int diff --git a/testsuite/tests/partial-sigs/should_compile/T21667.stderr b/testsuite/tests/partial-sigs/should_compile/T21667.stderr index 9720853aa2..b76d5bd952 100644 --- a/testsuite/tests/partial-sigs/should_compile/T21667.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T21667.stderr @@ -1,5 +1,5 @@ -T21667.hs:46:40: warning: [-Wpartial-type-signatures (in -Wdefault)] +T21667.hs:46:40: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘"1" :: Symbol’ • In the second argument of ‘ExoticTraversal'’, namely ‘_’ In the type ‘ExoticTraversal' a _ f’ diff --git a/testsuite/tests/partial-sigs/should_compile/T21719.stderr b/testsuite/tests/partial-sigs/should_compile/T21719.stderr index 944729e88a..0d1e529dcf 100644 --- a/testsuite/tests/partial-sigs/should_compile/T21719.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T21719.stderr @@ -1,5 +1,5 @@ -T21719.hs:29:27: warning: [-Wpartial-type-signatures (in -Wdefault)] +T21719.hs:29:27: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found extra-constraints wildcard standing for ‘MonadCheckedThrow m1’ Where: ‘m1’ is a rigid type variable bound by @@ -17,7 +17,7 @@ T21719.hs:29:27: warning: [-Wpartial-type-signatures (in -Wdefault)] baz = throwChecked Foo • Relevant bindings include foo :: m Int (bound at T21719.hs:24:1) -T21719.hs:29:33: warning: [-Wpartial-type-signatures (in -Wdefault)] +T21719.hs:29:33: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘m1 a’ Where: ‘m1’, ‘a’ are rigid type variables bound by the inferred type of diff --git a/testsuite/tests/partial-sigs/should_compile/T22065.stderr b/testsuite/tests/partial-sigs/should_compile/T22065.stderr index 42cde6935d..c1ee219723 100644 --- a/testsuite/tests/partial-sigs/should_compile/T22065.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T22065.stderr @@ -1,5 +1,5 @@ -T22065.hs:10:30: warning: [-Wpartial-type-signatures (in -Wdefault)] +T22065.hs:10:30: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘Foo’ • In an expression type signature: forall a. _ In the expression: Apply f x :: forall a. _ @@ -16,7 +16,7 @@ T22065.hs:10:30: warning: [-Wpartial-type-signatures (in -Wdefault)] x :: forall {w}. [w] (bound at T22065.hs:16:3) foo :: Foo (bound at T22065.hs:10:1) -T22065.hs:12:9: warning: [-Wpartial-type-signatures (in -Wdefault)] +T22065.hs:12:9: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘w’ Where: ‘w’ is a rigid type variable bound by the inferred type of f :: [w] -> Int @@ -35,7 +35,7 @@ T22065.hs:12:9: warning: [-Wpartial-type-signatures (in -Wdefault)] x :: forall {w}. [w] (bound at T22065.hs:16:3) foo :: Foo (bound at T22065.hs:10:1) -T22065.hs:15:9: warning: [-Wpartial-type-signatures (in -Wdefault)] +T22065.hs:15:9: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘w’ Where: ‘w’ is a rigid type variable bound by the inferred type of x :: [w] diff --git a/testsuite/tests/partial-sigs/should_compile/TypedSplice.stderr b/testsuite/tests/partial-sigs/should_compile/TypedSplice.stderr index 2ae23b0d3d..7e48c8f80a 100644 --- a/testsuite/tests/partial-sigs/should_compile/TypedSplice.stderr +++ b/testsuite/tests/partial-sigs/should_compile/TypedSplice.stderr @@ -1,5 +1,5 @@ -TypedSplice.hs:9:22: warning: [-Wpartial-type-signatures (in -Wdefault)] +TypedSplice.hs:9:22: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘Bool’ • In the type ‘_ -> _b’ In an expression type signature: _ -> _b @@ -7,7 +7,7 @@ TypedSplice.hs:9:22: warning: [-Wpartial-type-signatures (in -Wdefault)] • Relevant bindings include metaExp :: Code Q (Bool -> Bool) (bound at TypedSplice.hs:9:1) -TypedSplice.hs:9:27: warning: [-Wpartial-type-signatures (in -Wdefault)] +TypedSplice.hs:9:27: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_b’ standing for ‘Bool’ • In an expression type signature: _ -> _b In the Template Haskell quotation [|| not :: _ -> _b ||] diff --git a/testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr b/testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr index 23b6ee3c2e..ee483a62a6 100644 --- a/testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr +++ b/testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr @@ -2,28 +2,28 @@ TYPE SIGNATURES bar :: forall {t} {w}. t -> (t -> w) -> w foo :: forall {a}. (Show a, Enum a) => a -> String Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [base-4.17.0.0] -WarningWildcardInstantiations.hs:5:14: warning: [-Wpartial-type-signatures (in -Wdefault)] +WarningWildcardInstantiations.hs:5:14: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_a’ standing for ‘a’ Where: ‘a’ is a rigid type variable bound by the inferred type of foo :: (Show a, Enum a) => a -> String at WarningWildcardInstantiations.hs:6:1-21 • In the type signature: foo :: (Show _a, _) => _a -> _ -WarningWildcardInstantiations.hs:5:18: warning: [-Wpartial-type-signatures (in -Wdefault)] +WarningWildcardInstantiations.hs:5:18: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found extra-constraints wildcard standing for ‘Enum a’ Where: ‘a’ is a rigid type variable bound by the inferred type of foo :: (Show a, Enum a) => a -> String at WarningWildcardInstantiations.hs:6:1-21 • In the type signature: foo :: (Show _a, _) => _a -> _ -WarningWildcardInstantiations.hs:5:30: warning: [-Wpartial-type-signatures (in -Wdefault)] +WarningWildcardInstantiations.hs:5:30: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘String’ • In the type ‘_a -> _’ In the type signature: foo :: (Show _a, _) => _a -> _ -WarningWildcardInstantiations.hs:8:8: warning: [-Wpartial-type-signatures (in -Wdefault)] +WarningWildcardInstantiations.hs:8:8: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘t’ Where: ‘t’ is a rigid type variable bound by the inferred type of bar :: t -> (t -> w) -> w @@ -31,7 +31,7 @@ WarningWildcardInstantiations.hs:8:8: warning: [-Wpartial-type-signatures (in -W • In the type ‘_ -> _ -> _’ In the type signature: bar :: _ -> _ -> _ -WarningWildcardInstantiations.hs:8:13: warning: [-Wpartial-type-signatures (in -Wdefault)] +WarningWildcardInstantiations.hs:8:13: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘t -> w’ Where: ‘t’, ‘w’ are rigid type variables bound by the inferred type of bar :: t -> (t -> w) -> w @@ -39,7 +39,7 @@ WarningWildcardInstantiations.hs:8:13: warning: [-Wpartial-type-signatures (in - • In the type ‘_ -> _ -> _’ In the type signature: bar :: _ -> _ -> _ -WarningWildcardInstantiations.hs:8:18: warning: [-Wpartial-type-signatures (in -Wdefault)] +WarningWildcardInstantiations.hs:8:18: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘w’ Where: ‘w’ is a rigid type variable bound by the inferred type of bar :: t -> (t -> w) -> w diff --git a/testsuite/tests/partial-sigs/should_fail/AnnotatedConstraint.stderr b/testsuite/tests/partial-sigs/should_fail/AnnotatedConstraint.stderr index 1dba826661..7d5b42dcc2 100644 --- a/testsuite/tests/partial-sigs/should_fail/AnnotatedConstraint.stderr +++ b/testsuite/tests/partial-sigs/should_fail/AnnotatedConstraint.stderr @@ -1,5 +1,5 @@ -AnnotatedConstraint.hs:7:8: error: +AnnotatedConstraint.hs:7:8: error: [GHC-39999] • No instance for ‘Eq (a0 -> a0)’ arising from a use of ‘foo’ (maybe you haven't applied a function to enough arguments?) • In the expression: foo id diff --git a/testsuite/tests/partial-sigs/should_fail/AnnotatedConstraintNotForgotten.stderr b/testsuite/tests/partial-sigs/should_fail/AnnotatedConstraintNotForgotten.stderr index 006bb7cc1a..c657c99e54 100644 --- a/testsuite/tests/partial-sigs/should_fail/AnnotatedConstraintNotForgotten.stderr +++ b/testsuite/tests/partial-sigs/should_fail/AnnotatedConstraintNotForgotten.stderr @@ -1,5 +1,5 @@ -AnnotatedConstraintNotForgotten.hs:15:8: error: +AnnotatedConstraintNotForgotten.hs:15:8: error: [GHC-39999] • No instance for ‘Eq Foo’ arising from a use of ‘foo’ • In the expression: foo Foo In an equation for ‘test’: test = foo Foo diff --git a/testsuite/tests/partial-sigs/should_fail/Defaulting1MROff.stderr b/testsuite/tests/partial-sigs/should_fail/Defaulting1MROff.stderr index 59c6755547..791a3854f3 100644 --- a/testsuite/tests/partial-sigs/should_fail/Defaulting1MROff.stderr +++ b/testsuite/tests/partial-sigs/should_fail/Defaulting1MROff.stderr @@ -1,4 +1,4 @@ -Defaulting1MROff.hs:7:10: warning: [-Wpartial-type-signatures (in -Wdefault)] +Defaulting1MROff.hs:7:10: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘Integer’ • In the type signature: alpha :: _ diff --git a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInExpressionSignature.stderr b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInExpressionSignature.stderr index 117a8cca0d..77150e85ed 100644 --- a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInExpressionSignature.stderr +++ b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInExpressionSignature.stderr @@ -1,5 +1,5 @@ -ExtraConstraintsWildcardInExpressionSignature.hs:5:20: warning: [-Wpartial-type-signatures (in -Wdefault)] +ExtraConstraintsWildcardInExpressionSignature.hs:5:20: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found extra-constraints wildcard standing for ‘Eq a1’ Where: ‘a1’ is a rigid type variable bound by the inferred type of <expression> :: Eq a1 => a1 -> a1 -> Bool @@ -15,7 +15,7 @@ ExtraConstraintsWildcardInExpressionSignature.hs:5:20: warning: [-Wpartial-type- foo :: a -> a -> Bool (bound at ExtraConstraintsWildcardInExpressionSignature.hs:5:1) -ExtraConstraintsWildcardInExpressionSignature.hs:5:25: warning: [-Wpartial-type-signatures (in -Wdefault)] +ExtraConstraintsWildcardInExpressionSignature.hs:5:25: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘a1 -> a1 -> Bool’ Where: ‘a1’ is a rigid type variable bound by the inferred type of <expression> :: Eq a1 => a1 -> a1 -> Bool diff --git a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInPatternSignature.stderr b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInPatternSignature.stderr index 9711e34121..4d161fb837 100644 --- a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInPatternSignature.stderr +++ b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInPatternSignature.stderr @@ -1,4 +1,4 @@ -ExtraConstraintsWildcardInPatternSignature.hs:4:11: error: +ExtraConstraintsWildcardInPatternSignature.hs:4:11: error: [GHC-65507] Extra-constraint wildcard ‘_’ not allowed in a pattern type-signature diff --git a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInPatternSplice.stderr b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInPatternSplice.stderr index e42e098ef3..6b858a0f36 100644 --- a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInPatternSplice.stderr +++ b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInPatternSplice.stderr @@ -1,5 +1,5 @@ -ExtraConstraintsWildcardInPatternSplice.hs:5:6: error: +ExtraConstraintsWildcardInPatternSplice.hs:5:6: error: [GHC-88464] • Found type wildcard ‘_’ standing for ‘w’ Where: ‘w’ is a rigid type variable bound by the inferred type of foo :: w -> () diff --git a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInTypeSpliceUsed.stderr b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInTypeSpliceUsed.stderr index a8f98d9e62..a4999fa6c8 100644 --- a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInTypeSpliceUsed.stderr +++ b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInTypeSpliceUsed.stderr @@ -1,6 +1,6 @@ [1 of 2] Compiling ExtraConstraintsWildcardInTypeSplice ( ExtraConstraintsWildcardInTypeSplice.hs, ExtraConstraintsWildcardInTypeSplice.o ) -ExtraConstraintsWildcardInTypeSplice.hs:7:16: error: +ExtraConstraintsWildcardInTypeSplice.hs:7:16: error: [GHC-65507] • Wildcard ‘_’ not allowed in a constraint except as the last top-level constraint of a type signature e.g f :: (Eq a, _) => blah diff --git a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotEnabled.stderr b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotEnabled.stderr index 496e1a7393..fc7ae5a94a 100644 --- a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotEnabled.stderr +++ b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotEnabled.stderr @@ -1,5 +1,5 @@ -ExtraConstraintsWildcardNotEnabled.hs:4:10: error: +ExtraConstraintsWildcardNotEnabled.hs:4:10: error: [GHC-88464] • Found extra-constraints wildcard standing for ‘Show a’ Where: ‘a’ is a rigid type variable bound by the inferred type of show' :: Show a => a -> String diff --git a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotLast.stderr b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotLast.stderr index 86e5805a91..5a76f15720 100644 --- a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotLast.stderr +++ b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotLast.stderr @@ -1,5 +1,5 @@ -ExtraConstraintsWildcardNotLast.hs:4:9: error: +ExtraConstraintsWildcardNotLast.hs:4:9: error: [GHC-65507] Wildcard ‘_’ not allowed in a constraint except as the last top-level constraint of a type signature e.g f :: (Eq a, _) => blah diff --git a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotPresent.stderr b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotPresent.stderr index 10f467ba99..50e560f21d 100644 --- a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotPresent.stderr +++ b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotPresent.stderr @@ -1,5 +1,5 @@ -ExtraConstraintsWildcardNotPresent.hs:6:11: error: +ExtraConstraintsWildcardNotPresent.hs:6:11: error: [GHC-39999] • No instance for ‘Show a’ arising from a use of ‘show’ Possible fix: add (Show a) to the context of diff --git a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardTwice.stderr b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardTwice.stderr index 5e6013da7f..2574f141f0 100644 --- a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardTwice.stderr +++ b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardTwice.stderr @@ -1,5 +1,5 @@ -ExtraConstraintsWildcardTwice.hs:4:10: error: +ExtraConstraintsWildcardTwice.hs:4:10: error: [GHC-65507] Wildcard ‘_’ not allowed in a constraint except as the last top-level constraint of a type signature e.g f :: (Eq a, _) => blah diff --git a/testsuite/tests/partial-sigs/should_fail/Forall1Bad.stderr b/testsuite/tests/partial-sigs/should_fail/Forall1Bad.stderr index 4a2d167327..6e3b6d47aa 100644 --- a/testsuite/tests/partial-sigs/should_fail/Forall1Bad.stderr +++ b/testsuite/tests/partial-sigs/should_fail/Forall1Bad.stderr @@ -1,5 +1,5 @@ -Forall1Bad.hs:9:13: error: +Forall1Bad.hs:9:13: error: [GHC-83865] • Couldn't match expected type ‘Char’ with actual type ‘Bool’ • In the first argument of ‘fall’, namely ‘True’ In the expression: fall True diff --git a/testsuite/tests/partial-sigs/should_fail/InstantiatedNamedWildcardsInConstraints.stderr b/testsuite/tests/partial-sigs/should_fail/InstantiatedNamedWildcardsInConstraints.stderr index 9e9505d7f0..6ba1b6f311 100644 --- a/testsuite/tests/partial-sigs/should_fail/InstantiatedNamedWildcardsInConstraints.stderr +++ b/testsuite/tests/partial-sigs/should_fail/InstantiatedNamedWildcardsInConstraints.stderr @@ -1,5 +1,5 @@ -InstantiatedNamedWildcardsInConstraints.hs:4:14: error: +InstantiatedNamedWildcardsInConstraints.hs:4:14: error: [GHC-88464] • Found type wildcard ‘_a’ standing for ‘b’ Where: ‘b’ is a rigid type variable bound by the inferred type of foo :: (Enum b, Show b) => b -> (String, b) @@ -7,7 +7,7 @@ InstantiatedNamedWildcardsInConstraints.hs:4:14: error: To use the inferred type, enable PartialTypeSignatures • In the type signature: foo :: (Enum _a, _) => _a -> (String, b) -InstantiatedNamedWildcardsInConstraints.hs:4:18: error: +InstantiatedNamedWildcardsInConstraints.hs:4:18: error: [GHC-88464] • Found extra-constraints wildcard standing for ‘Show b’ Where: ‘b’ is a rigid type variable bound by the inferred type of foo :: (Enum b, Show b) => b -> (String, b) diff --git a/testsuite/tests/partial-sigs/should_fail/NamedExtraConstraintsWildcard.stderr b/testsuite/tests/partial-sigs/should_fail/NamedExtraConstraintsWildcard.stderr index a1b30fb7af..229410f6d5 100644 --- a/testsuite/tests/partial-sigs/should_fail/NamedExtraConstraintsWildcard.stderr +++ b/testsuite/tests/partial-sigs/should_fail/NamedExtraConstraintsWildcard.stderr @@ -1,5 +1,5 @@ -NamedExtraConstraintsWildcard.hs:5:1: error: +NamedExtraConstraintsWildcard.hs:5:1: error: [GHC-05617] • Could not deduce ‘w0’ from the context: (Eq a, w) bound by the inferred type for ‘foo’: diff --git a/testsuite/tests/partial-sigs/should_fail/NamedWildcardExplicitForall.stderr b/testsuite/tests/partial-sigs/should_fail/NamedWildcardExplicitForall.stderr index 17ffbc1595..b213ea8557 100644 --- a/testsuite/tests/partial-sigs/should_fail/NamedWildcardExplicitForall.stderr +++ b/testsuite/tests/partial-sigs/should_fail/NamedWildcardExplicitForall.stderr @@ -1,5 +1,5 @@ -NamedWildcardExplicitForall.hs:8:7: error: +NamedWildcardExplicitForall.hs:8:7: error: [GHC-25897] • Couldn't match type ‘_a’ with ‘Bool’ Expected: _a -> _a Actual: Bool -> Bool @@ -12,17 +12,17 @@ NamedWildcardExplicitForall.hs:8:7: error: • Relevant bindings include foo :: _a -> _a (bound at NamedWildcardExplicitForall.hs:8:1) -NamedWildcardExplicitForall.hs:10:8: error: +NamedWildcardExplicitForall.hs:10:8: error: [GHC-88464] • Found type wildcard ‘_a’ standing for ‘Bool’ To use the inferred type, enable PartialTypeSignatures • In the type signature: bar :: _a -> _a -NamedWildcardExplicitForall.hs:13:26: error: +NamedWildcardExplicitForall.hs:13:26: error: [GHC-88464] • Found type wildcard ‘_b’ standing for ‘Bool’ To use the inferred type, enable PartialTypeSignatures • In the type signature: baz :: forall _a. _a -> _b -> (_a, _b) -NamedWildcardExplicitForall.hs:14:12: error: +NamedWildcardExplicitForall.hs:14:12: error: [GHC-25897] • Couldn't match expected type ‘_a’ with actual type ‘Bool’ ‘_a’ is a rigid type variable bound by the inferred type of baz :: _a -> Bool -> (_a, Bool) @@ -35,7 +35,7 @@ NamedWildcardExplicitForall.hs:14:12: error: baz :: _a -> Bool -> (_a, Bool) (bound at NamedWildcardExplicitForall.hs:14:1) -NamedWildcardExplicitForall.hs:16:8: error: +NamedWildcardExplicitForall.hs:16:8: error: [GHC-88464] • Found type wildcard ‘_a’ standing for ‘Bool’ To use the inferred type, enable PartialTypeSignatures • In the type signature: qux :: _a -> (forall _a. _a -> _a) -> _a diff --git a/testsuite/tests/partial-sigs/should_fail/NamedWildcardInTypeSplice.stderr b/testsuite/tests/partial-sigs/should_fail/NamedWildcardInTypeSplice.stderr index ad78d8c7ef..55940cf1a9 100644 --- a/testsuite/tests/partial-sigs/should_fail/NamedWildcardInTypeSplice.stderr +++ b/testsuite/tests/partial-sigs/should_fail/NamedWildcardInTypeSplice.stderr @@ -1,8 +1,8 @@ -NamedWildcardInTypeSplice.hs:8:16: error: +NamedWildcardInTypeSplice.hs:8:16: error: [GHC-76037] • Not in scope: type variable ‘_a’ • In the Template Haskell quotation [t| _a -> _a |] -NamedWildcardInTypeSplice.hs:8:22: error: +NamedWildcardInTypeSplice.hs:8:22: error: [GHC-76037] • Not in scope: type variable ‘_a’ • In the Template Haskell quotation [t| _a -> _a |] diff --git a/testsuite/tests/partial-sigs/should_fail/NamedWildcardsEnabled.stderr b/testsuite/tests/partial-sigs/should_fail/NamedWildcardsEnabled.stderr index 409ed511f0..d8fadbce09 100644 --- a/testsuite/tests/partial-sigs/should_fail/NamedWildcardsEnabled.stderr +++ b/testsuite/tests/partial-sigs/should_fail/NamedWildcardsEnabled.stderr @@ -1,10 +1,10 @@ -NamedWildcardsEnabled.hs:4:8: error: +NamedWildcardsEnabled.hs:4:8: error: [GHC-88464] • Found type wildcard ‘_a’ standing for ‘Bool’ To use the inferred type, enable PartialTypeSignatures • In the type signature: foo :: _a -> _b -NamedWildcardsEnabled.hs:4:14: error: +NamedWildcardsEnabled.hs:4:14: error: [GHC-88464] • Found type wildcard ‘_b’ standing for ‘Bool’ To use the inferred type, enable PartialTypeSignatures • In the type signature: foo :: _a -> _b diff --git a/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotEnabled.stderr b/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotEnabled.stderr index 2fb55bfe2a..6b995343bc 100644 --- a/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotEnabled.stderr +++ b/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotEnabled.stderr @@ -1,5 +1,5 @@ -NamedWildcardsNotEnabled.hs:5:9: error: +NamedWildcardsNotEnabled.hs:5:9: error: [GHC-25897] • Couldn't match expected type ‘_b’ with actual type ‘Bool’ ‘_b’ is a rigid type variable bound by the type signature for: @@ -10,7 +10,7 @@ NamedWildcardsNotEnabled.hs:5:9: error: • Relevant bindings include foo :: _a -> _b (bound at NamedWildcardsNotEnabled.hs:5:1) -NamedWildcardsNotEnabled.hs:5:13: error: +NamedWildcardsNotEnabled.hs:5:13: error: [GHC-25897] • Couldn't match expected type ‘Bool’ with actual type ‘_a’ ‘_a’ is a rigid type variable bound by the type signature for: diff --git a/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotInMonotype.stderr b/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotInMonotype.stderr index a91d977ee7..388ba5a0a1 100644 --- a/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotInMonotype.stderr +++ b/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotInMonotype.stderr @@ -1,5 +1,5 @@ -NamedWildcardsNotInMonotype.hs:5:1: error: +NamedWildcardsNotInMonotype.hs:5:1: error: [GHC-39999] • Could not deduce ‘Eq w0’ from the context: (Show a, Eq w, Eq a) bound by the inferred type for ‘foo’: diff --git a/testsuite/tests/partial-sigs/should_fail/NestedExtraConstraintsWildcard.stderr b/testsuite/tests/partial-sigs/should_fail/NestedExtraConstraintsWildcard.stderr index 1dbe74f0cb..9bba4ecb14 100644 --- a/testsuite/tests/partial-sigs/should_fail/NestedExtraConstraintsWildcard.stderr +++ b/testsuite/tests/partial-sigs/should_fail/NestedExtraConstraintsWildcard.stderr @@ -1,5 +1,5 @@ -NestedExtraConstraintsWildcard.hs:4:23: error: +NestedExtraConstraintsWildcard.hs:4:23: error: [GHC-65507] Wildcard ‘_’ not allowed in a constraint except as the last top-level constraint of a type signature e.g f :: (Eq a, _) => blah diff --git a/testsuite/tests/partial-sigs/should_fail/NestedNamedExtraConstraintsWildcard.stderr b/testsuite/tests/partial-sigs/should_fail/NestedNamedExtraConstraintsWildcard.stderr index c632d6eb64..85ba3842dc 100644 --- a/testsuite/tests/partial-sigs/should_fail/NestedNamedExtraConstraintsWildcard.stderr +++ b/testsuite/tests/partial-sigs/should_fail/NestedNamedExtraConstraintsWildcard.stderr @@ -1,5 +1,5 @@ -NestedNamedExtraConstraintsWildcard.hs:4:23: error: +NestedNamedExtraConstraintsWildcard.hs:4:23: error: [GHC-65507] Named wildcard ‘_a’ not allowed in a constraint Extra-constraint wildcards must be anonymous e.g f :: (Eq a, _) => blah diff --git a/testsuite/tests/partial-sigs/should_fail/PartialClassMethodSignature.stderr b/testsuite/tests/partial-sigs/should_fail/PartialClassMethodSignature.stderr index b470912526..b8790d81f4 100644 --- a/testsuite/tests/partial-sigs/should_fail/PartialClassMethodSignature.stderr +++ b/testsuite/tests/partial-sigs/should_fail/PartialClassMethodSignature.stderr @@ -1,4 +1,4 @@ -PartialClassMethodSignature.hs:6:15: error: +PartialClassMethodSignature.hs:6:15: error: [GHC-65507] Wildcard ‘_’ not allowed in a class method signature for ‘foo’ diff --git a/testsuite/tests/partial-sigs/should_fail/PartialClassMethodSignature2.stderr b/testsuite/tests/partial-sigs/should_fail/PartialClassMethodSignature2.stderr index 354f1d5ee7..c989ee27c0 100644 --- a/testsuite/tests/partial-sigs/should_fail/PartialClassMethodSignature2.stderr +++ b/testsuite/tests/partial-sigs/should_fail/PartialClassMethodSignature2.stderr @@ -1,4 +1,4 @@ -PartialClassMethodSignature2.hs:5:17: error: +PartialClassMethodSignature2.hs:5:17: error: [GHC-65507] Wildcard ‘_’ not allowed in a class method signature for ‘foo’ diff --git a/testsuite/tests/partial-sigs/should_fail/PartialTypeSignaturesDisabled.stderr b/testsuite/tests/partial-sigs/should_fail/PartialTypeSignaturesDisabled.stderr index be6ea0ae80..eb49a8bfed 100644 --- a/testsuite/tests/partial-sigs/should_fail/PartialTypeSignaturesDisabled.stderr +++ b/testsuite/tests/partial-sigs/should_fail/PartialTypeSignaturesDisabled.stderr @@ -1,11 +1,11 @@ -PartialTypeSignaturesDisabled.hs:4:8: error: +PartialTypeSignaturesDisabled.hs:4:8: error: [GHC-88464] • Found type wildcard ‘_’ standing for ‘Bool’ To use the inferred type, enable PartialTypeSignatures • In the type ‘_ -> _’ In the type signature: foo :: _ -> _ -PartialTypeSignaturesDisabled.hs:4:13: error: +PartialTypeSignaturesDisabled.hs:4:13: error: [GHC-88464] • Found type wildcard ‘_’ standing for ‘Bool’ To use the inferred type, enable PartialTypeSignatures • In the type ‘_ -> _’ diff --git a/testsuite/tests/partial-sigs/should_fail/PatBind3.stderr b/testsuite/tests/partial-sigs/should_fail/PatBind3.stderr index a1a1295b12..350da8f644 100644 --- a/testsuite/tests/partial-sigs/should_fail/PatBind3.stderr +++ b/testsuite/tests/partial-sigs/should_fail/PatBind3.stderr @@ -1,5 +1,5 @@ -PatBind3.hs:6:17: error: +PatBind3.hs:6:17: error: [GHC-83865] • Couldn't match type ‘(Bool, w)’ with ‘Char’ Expected: (Bool, w) -> Char Actual: (Bool, w) -> (Bool, w) diff --git a/testsuite/tests/partial-sigs/should_fail/ScopedNamedWildcardsBad.stderr b/testsuite/tests/partial-sigs/should_fail/ScopedNamedWildcardsBad.stderr index ee618dff56..a6eec60511 100644 --- a/testsuite/tests/partial-sigs/should_fail/ScopedNamedWildcardsBad.stderr +++ b/testsuite/tests/partial-sigs/should_fail/ScopedNamedWildcardsBad.stderr @@ -1,5 +1,5 @@ -ScopedNamedWildcardsBad.hs:11:15: error: +ScopedNamedWildcardsBad.hs:11:15: error: [GHC-83865] • Couldn't match expected type ‘Bool’ with actual type ‘Char’ • In the first argument of ‘g’, namely ‘'x'’ In the expression: g 'x' diff --git a/testsuite/tests/partial-sigs/should_fail/T10045.stderr b/testsuite/tests/partial-sigs/should_fail/T10045.stderr index e6f6462d5d..23d9274058 100644 --- a/testsuite/tests/partial-sigs/should_fail/T10045.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T10045.stderr @@ -1,5 +1,5 @@ -T10045.hs:6:18: error: +T10045.hs:6:18: error: [GHC-88464] • Found type wildcard ‘_’ standing for ‘t1 -> Bool -> t2’ Where: ‘t1’, ‘t2’ are rigid type variables bound by the inferred type of copy :: t1 -> Bool -> t2 diff --git a/testsuite/tests/partial-sigs/should_fail/T10615.stderr b/testsuite/tests/partial-sigs/should_fail/T10615.stderr index e9c048ce16..b2390ffa41 100644 --- a/testsuite/tests/partial-sigs/should_fail/T10615.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T10615.stderr @@ -1,12 +1,12 @@ -T10615.hs:5:7: error: +T10615.hs:5:7: error: [GHC-88464] • Found type wildcard ‘_’ standing for ‘w1’ Where: ‘w1’ is an ambiguous type variable To use the inferred type, enable PartialTypeSignatures • In the type ‘_ -> f’ In the type signature: f1 :: _ -> f -T10615.hs:6:6: error: +T10615.hs:6:6: error: [GHC-25897] • Couldn't match type ‘f’ with ‘b1 -> w1’ Expected: w1 -> f Actual: w1 -> b1 -> w1 @@ -17,14 +17,14 @@ T10615.hs:6:6: error: In an equation for ‘f1’: f1 = const • Relevant bindings include f1 :: w1 -> f (bound at T10615.hs:6:1) -T10615.hs:8:7: error: +T10615.hs:8:7: error: [GHC-88464] • Found type wildcard ‘_’ standing for ‘w0’ Where: ‘w0’ is an ambiguous type variable To use the inferred type, enable PartialTypeSignatures • In the type ‘_ -> _f’ In the type signature: f2 :: _ -> _f -T10615.hs:9:6: error: +T10615.hs:9:6: error: [GHC-25897] • Couldn't match type ‘_f’ with ‘b0 -> w0’ Expected: w0 -> _f Actual: w0 -> b0 -> w0 diff --git a/testsuite/tests/partial-sigs/should_fail/T10999.stderr b/testsuite/tests/partial-sigs/should_fail/T10999.stderr index 4942fb9f8a..39e94b5033 100644 --- a/testsuite/tests/partial-sigs/should_fail/T10999.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T10999.stderr @@ -1,5 +1,5 @@ -T10999.hs:5:6: error: +T10999.hs:5:6: error: [GHC-88464] • Found extra-constraints wildcard standing for ‘Ord a’ Where: ‘a’ is a rigid type variable bound by the inferred type of f :: Ord a => () -> Set.Set a @@ -7,7 +7,7 @@ T10999.hs:5:6: error: To use the inferred type, enable PartialTypeSignatures • In the type signature: f :: _ => () -> _ -T10999.hs:5:17: error: +T10999.hs:5:17: error: [GHC-88464] • Found type wildcard ‘_’ standing for ‘Set.Set a’ Where: ‘a’ is a rigid type variable bound by the inferred type of f :: Ord a => () -> Set.Set a @@ -16,7 +16,7 @@ T10999.hs:5:17: error: • In the type ‘() -> _’ In the type signature: f :: _ => () -> _ -T10999.hs:8:28: error: +T10999.hs:8:28: error: [GHC-39999] • Ambiguous type variable ‘b1’ arising from a use of ‘f’ prevents the constraint ‘(Ord b1)’ from being solved. Relevant bindings include g :: [b1] (bound at T10999.hs:8:1) diff --git a/testsuite/tests/partial-sigs/should_fail/T11122.stderr b/testsuite/tests/partial-sigs/should_fail/T11122.stderr index a6b4c618ec..1a173ec11a 100644 --- a/testsuite/tests/partial-sigs/should_fail/T11122.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T11122.stderr @@ -1,5 +1,5 @@ -T11122.hs:19:18: warning: [-Wpartial-type-signatures (in -Wdefault)] +T11122.hs:19:18: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘Int’ • In the first argument of ‘Parser’, namely ‘_’ In the type ‘Parser _’ diff --git a/testsuite/tests/partial-sigs/should_fail/T11515.stderr b/testsuite/tests/partial-sigs/should_fail/T11515.stderr index df8da03208..389b1331b3 100644 --- a/testsuite/tests/partial-sigs/should_fail/T11515.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T11515.stderr @@ -1,5 +1,5 @@ -T11515.hs:7:20: error: +T11515.hs:7:20: error: [GHC-88464] • Found extra-constraints wildcard standing for ‘()’ To use the inferred type, enable PartialTypeSignatures • In the type signature: foo :: (ShowSyn a, _) => a -> String diff --git a/testsuite/tests/partial-sigs/should_fail/T11976.stderr b/testsuite/tests/partial-sigs/should_fail/T11976.stderr index bcc69bf2d8..a2a1fead7d 100644 --- a/testsuite/tests/partial-sigs/should_fail/T11976.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T11976.stderr @@ -1,5 +1,5 @@ -T11976.hs:7:20: error: +T11976.hs:7:20: error: [GHC-83865] • Expected kind ‘k0 -> *’, but ‘Lens _ _’ has kind ‘*’ • In the type ‘Lens _ _ _’ In an expression type signature: Lens _ _ _ diff --git a/testsuite/tests/partial-sigs/should_fail/T12039.stderr b/testsuite/tests/partial-sigs/should_fail/T12039.stderr index 2a5fe33b14..690224f32d 100644 --- a/testsuite/tests/partial-sigs/should_fail/T12039.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T12039.stderr @@ -1,4 +1,4 @@ -T12039.hs:5:11: error: +T12039.hs:5:11: error: [GHC-65507] Wildcard ‘_’ not allowed in the declaration for class ‘B’ diff --git a/testsuite/tests/partial-sigs/should_fail/T12634.stderr b/testsuite/tests/partial-sigs/should_fail/T12634.stderr index ef0386784c..19a65352db 100644 --- a/testsuite/tests/partial-sigs/should_fail/T12634.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T12634.stderr @@ -1,5 +1,5 @@ -T12634.hs:15:58: error: +T12634.hs:15:58: error: [GHC-83865] • Expected a type, but ‘'(t, m, m', r)’ has kind ‘(k1 -> k2 -> *, k0, k1, k2)’ diff --git a/testsuite/tests/partial-sigs/should_fail/T12732.stderr b/testsuite/tests/partial-sigs/should_fail/T12732.stderr index 5188f6228b..e8977bf83c 100644 --- a/testsuite/tests/partial-sigs/should_fail/T12732.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T12732.stderr @@ -1,6 +1,6 @@ -T12732.hs:4:10: error: Variable not in scope: x +T12732.hs:4:10: error: [GHC-88464] Variable not in scope: x -T12732.hs:5:27: error: Variable not in scope: x +T12732.hs:5:27: error: [GHC-88464] Variable not in scope: x -T12732.hs:6:11: error: Variable not in scope: x +T12732.hs:6:11: error: [GHC-88464] Variable not in scope: x diff --git a/testsuite/tests/partial-sigs/should_fail/T13324_fail1.stderr b/testsuite/tests/partial-sigs/should_fail/T13324_fail1.stderr index dd3a9948f9..92e8613b7d 100644 --- a/testsuite/tests/partial-sigs/should_fail/T13324_fail1.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T13324_fail1.stderr @@ -1,10 +1,10 @@ -T13324_fail1.hs:7:26: error: +T13324_fail1.hs:7:26: error: [GHC-65507] Extra-constraint wildcard ‘_’ not allowed except as the sole constraint e.g., deriving instance _ => Eq (Foo a) in a deriving declaration -T13324_fail1.hs:8:25: error: +T13324_fail1.hs:8:25: error: [GHC-65507] Wildcard ‘_’ not allowed in a deriving declaration diff --git a/testsuite/tests/partial-sigs/should_fail/T13324_fail2.stderr b/testsuite/tests/partial-sigs/should_fail/T13324_fail2.stderr index 798272f7b0..f1237e87dc 100644 --- a/testsuite/tests/partial-sigs/should_fail/T13324_fail2.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T13324_fail2.stderr @@ -1,11 +1,11 @@ -T13324_fail2.hs:7:1: error: +T13324_fail2.hs:7:1: error: [GHC-39999] • No instance for ‘Eq (f (f a))’ arising from a 'deriving' declaration Possible fix: fill in the wildcard constraint yourself • When deriving the instance for (Eq (Foo f a)) -T13324_fail2.hs:11:1: error: +T13324_fail2.hs:11:1: error: [GHC-16437] • Can't make a derived instance of ‘Eq (T a)’: Constructor ‘MkT’ is a GADT • In the stand-alone deriving instance for ‘_ => Eq (T a)’ diff --git a/testsuite/tests/partial-sigs/should_fail/T14040a.stderr b/testsuite/tests/partial-sigs/should_fail/T14040a.stderr index 18f8439a7f..6f5ee1ff2e 100644 --- a/testsuite/tests/partial-sigs/should_fail/T14040a.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T14040a.stderr @@ -1,13 +1,13 @@ -T14040a.hs:26:46: error: +T14040a.hs:26:46: error: [GHC-46956] • Couldn't match kind ‘k1’ with ‘WeirdList z’ Expected kind ‘WeirdList k1’, but ‘xs’ has kind ‘WeirdList (WeirdList z)’ - because kind variable ‘z’ would escape its scope - This (rigid, skolem) kind variable is bound by - an explicit forall (z :: Type) (x :: z) - (xs :: WeirdList (WeirdList z)) - at T14040a.hs:25:26-77 + • because kind variable ‘z’ would escape its scope + This (rigid, skolem) kind variable is bound by + an explicit forall (z :: Type) (x :: z) + (xs :: WeirdList (WeirdList z)) + at T14040a.hs:25:26-77 • In the second argument of ‘p’, namely ‘xs’ In the type ‘Sing wl -> (forall (y :: Type). p _ WeirdNil) @@ -29,15 +29,15 @@ T14040a.hs:26:46: error: -> p _ (WeirdCons x xs)) -> p _ wl -T14040a.hs:27:27: error: +T14040a.hs:27:27: error: [GHC-46956] • Couldn't match kind ‘k0’ with ‘z’ Expected kind ‘WeirdList k0’, but ‘WeirdCons x xs’ has kind ‘WeirdList z’ - because kind variable ‘z’ would escape its scope - This (rigid, skolem) kind variable is bound by - an explicit forall (z :: Type) (x :: z) - (xs :: WeirdList (WeirdList z)) - at T14040a.hs:25:26-77 + • because kind variable ‘z’ would escape its scope + This (rigid, skolem) kind variable is bound by + an explicit forall (z :: Type) (x :: z) + (xs :: WeirdList (WeirdList z)) + at T14040a.hs:25:26-77 • In the second argument of ‘p’, namely ‘(WeirdCons x xs)’ In the type ‘Sing wl -> (forall (y :: Type). p _ WeirdNil) diff --git a/testsuite/tests/partial-sigs/should_fail/T14449.stderr b/testsuite/tests/partial-sigs/should_fail/T14449.stderr index 01e73b5edb..b35303ffea 100644 --- a/testsuite/tests/partial-sigs/should_fail/T14449.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T14449.stderr @@ -1,4 +1,4 @@ -T14449.hs:6:1: error: +T14449.hs:6:1: error: [GHC-88793] Couldn't match ‘a’ with ‘b’ both bound by the partial type signature: f :: a -> b -> _ diff --git a/testsuite/tests/partial-sigs/should_fail/T14479.stderr b/testsuite/tests/partial-sigs/should_fail/T14479.stderr index 84ba90a572..6c53d8defe 100644 --- a/testsuite/tests/partial-sigs/should_fail/T14479.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T14479.stderr @@ -1,5 +1,5 @@ -T14479.hs:9:5: error: +T14479.hs:9:5: error: [GHC-94185] • Can't quantify over ‘b’ bound by the partial type signature: g :: forall b. Num b => _ -> b • In an equation for ‘foo’: diff --git a/testsuite/tests/partial-sigs/should_fail/T14584.stderr b/testsuite/tests/partial-sigs/should_fail/T14584.stderr index bfa69b1636..67ccd9d0da 100644 --- a/testsuite/tests/partial-sigs/should_fail/T14584.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T14584.stderr @@ -1,5 +1,5 @@ -T14584.hs:57:41: warning: [-Wdeferred-type-errors (in -Wdefault)] +T14584.hs:57:41: warning: [GHC-39999] [-Wdeferred-type-errors (in -Wdefault)] • Could not deduce ‘SingI a’ arising from a use of ‘sing’ from the context: (Action act, Monoid a, Good m1) bound by the instance declaration at T14584.hs:55:10-89 @@ -10,7 +10,7 @@ T14584.hs:57:41: warning: [-Wdeferred-type-errors (in -Wdefault)] In the expression: act @_ @_ @act (fromSing @m (sing @m @a :: Sing _)) -T14584.hs:57:41: warning: [-Wdeferred-type-errors (in -Wdefault)] +T14584.hs:57:41: warning: [GHC-06200] [-Wdeferred-type-errors (in -Wdefault)] • Cannot use equality for substitution: a0 ~ a Doing so would be ill-kinded. • In the second argument of ‘fromSing’, namely @@ -22,7 +22,7 @@ T14584.hs:57:41: warning: [-Wdeferred-type-errors (in -Wdefault)] • Relevant bindings include monHom :: a -> a (bound at T14584.hs:57:3) -T14584.hs:57:50: warning: [-Wdeferred-type-errors (in -Wdefault)] +T14584.hs:57:50: warning: [GHC-25897] [-Wdeferred-type-errors (in -Wdefault)] • Could not deduce ‘m1 ~ *’ from the context: (Action act, Monoid a, Good m1) bound by the instance declaration at T14584.hs:55:10-89 @@ -35,7 +35,7 @@ T14584.hs:57:50: warning: [-Wdeferred-type-errors (in -Wdefault)] In the fourth argument of ‘act’, namely ‘(fromSing @m (sing @m @a :: Sing _))’ -T14584.hs:57:60: warning: [-Wpartial-type-signatures (in -Wdefault)] +T14584.hs:57:60: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘a0 :: m’ Where: ‘a0’ is an ambiguous type variable ‘m’ is a rigid type variable bound by diff --git a/testsuite/tests/partial-sigs/should_fail/T14584a.stderr b/testsuite/tests/partial-sigs/should_fail/T14584a.stderr index a7706d723e..aabc6130e3 100644 --- a/testsuite/tests/partial-sigs/should_fail/T14584a.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T14584a.stderr @@ -1,11 +1,11 @@ -T14584a.hs:12:5: warning: [-Wdeferred-type-errors (in -Wdefault)] +T14584a.hs:12:5: warning: [GHC-83865] [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match expected type ‘()’ with actual type ‘m -> m’ - Probable cause: ‘id’ is applied to too few arguments - • In the expression: id @m :: _ + • Probable cause: ‘id’ is applied to too few arguments + In the expression: id @m :: _ In an equation for ‘f’: f = id @m :: _ -T14584a.hs:12:9: warning: [-Wdeferred-type-errors (in -Wdefault)] +T14584a.hs:12:9: warning: [GHC-25897] [-Wdeferred-type-errors (in -Wdefault)] • Expected a type, but ‘m’ has kind ‘k’ ‘k’ is a rigid type variable bound by the type signature for: @@ -15,14 +15,14 @@ T14584a.hs:12:9: warning: [-Wdeferred-type-errors (in -Wdefault)] In the expression: id @m :: _ In an equation for ‘f’: f = id @m :: _ -T14584a.hs:12:14: warning: [-Wpartial-type-signatures (in -Wdefault)] +T14584a.hs:12:14: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘()’ • In an expression type signature: _ In the expression: id @m :: _ In an equation for ‘f’: f = id @m :: _ • Relevant bindings include f :: () (bound at T14584a.hs:12:1) -T14584a.hs:15:17: warning: [-Wdeferred-type-errors (in -Wdefault)] +T14584a.hs:15:17: warning: [GHC-25897] [-Wdeferred-type-errors (in -Wdefault)] • Expected a type, but ‘m’ has kind ‘k’ ‘k’ is a rigid type variable bound by the type signature for: diff --git a/testsuite/tests/partial-sigs/should_fail/TidyClash.stderr b/testsuite/tests/partial-sigs/should_fail/TidyClash.stderr index a7a5ee85be..b354fd8d01 100644 --- a/testsuite/tests/partial-sigs/should_fail/TidyClash.stderr +++ b/testsuite/tests/partial-sigs/should_fail/TidyClash.stderr @@ -1,5 +1,5 @@ -TidyClash.hs:8:19: error: +TidyClash.hs:8:19: error: [GHC-88464] • Found type wildcard ‘_’ standing for ‘w1’ Where: ‘w1’ is a rigid type variable bound by the inferred type of bar :: w_ -> (w_, w1 -> w2) @@ -8,7 +8,7 @@ TidyClash.hs:8:19: error: • In the type ‘w_ -> (w_, _ -> _)’ In the type signature: bar :: w_ -> (w_, _ -> _) -TidyClash.hs:8:24: error: +TidyClash.hs:8:24: error: [GHC-88464] • Found type wildcard ‘_’ standing for ‘w2’ Where: ‘w2’ is a rigid type variable bound by the inferred type of bar :: w_ -> (w_, w1 -> w2) diff --git a/testsuite/tests/partial-sigs/should_fail/TidyClash2.stderr b/testsuite/tests/partial-sigs/should_fail/TidyClash2.stderr index 504fbf5094..d6c07d7ba7 100644 --- a/testsuite/tests/partial-sigs/should_fail/TidyClash2.stderr +++ b/testsuite/tests/partial-sigs/should_fail/TidyClash2.stderr @@ -1,5 +1,5 @@ -TidyClash2.hs:13:20: error: +TidyClash2.hs:13:20: error: [GHC-88464] • Found type wildcard ‘_’ standing for ‘w1’ Where: ‘w1’ is a rigid type variable bound by the inferred type of barry :: w1 -> w2 -> t @@ -8,7 +8,7 @@ TidyClash2.hs:13:20: error: • In the type ‘_ -> _ -> t’ In the type signature: barry :: forall t. _ -> _ -> t -TidyClash2.hs:13:25: error: +TidyClash2.hs:13:25: error: [GHC-88464] • Found type wildcard ‘_’ standing for ‘w2’ Where: ‘w2’ is a rigid type variable bound by the inferred type of barry :: w1 -> w2 -> t @@ -17,7 +17,7 @@ TidyClash2.hs:13:25: error: • In the type ‘_ -> _ -> t’ In the type signature: barry :: forall t. _ -> _ -> t -TidyClash2.hs:14:13: error: +TidyClash2.hs:14:13: error: [GHC-88464] • Found type wildcard ‘_’ standing for ‘w1’ Where: ‘w1’ is a rigid type variable bound by the inferred type of barry :: w1 -> w2 -> t @@ -30,7 +30,7 @@ TidyClash2.hs:14:13: error: • Relevant bindings include barry :: w1 -> w2 -> t (bound at TidyClash2.hs:14:1) -TidyClash2.hs:14:22: error: +TidyClash2.hs:14:22: error: [GHC-88464] • Found type wildcard ‘_’ standing for ‘w2’ Where: ‘w2’ is a rigid type variable bound by the inferred type of barry :: w1 -> w2 -> t @@ -44,7 +44,7 @@ TidyClash2.hs:14:22: error: x :: w1 (bound at TidyClash2.hs:14:8) barry :: w1 -> w2 -> t (bound at TidyClash2.hs:14:1) -TidyClash2.hs:14:40: error: +TidyClash2.hs:14:40: error: [GHC-88464] • Found type wildcard ‘_’ standing for ‘w3’ Where: ‘w3’ is a rigid type variable bound by the inferred type of <expression> :: w3 diff --git a/testsuite/tests/partial-sigs/should_fail/UnnamedConstraintWildcard1.stderr b/testsuite/tests/partial-sigs/should_fail/UnnamedConstraintWildcard1.stderr index 9efcdb8641..8576e0f5df 100644 --- a/testsuite/tests/partial-sigs/should_fail/UnnamedConstraintWildcard1.stderr +++ b/testsuite/tests/partial-sigs/should_fail/UnnamedConstraintWildcard1.stderr @@ -1,5 +1,5 @@ -UnnamedConstraintWildcard1.hs:4:13: error: +UnnamedConstraintWildcard1.hs:4:13: error: [GHC-65507] Wildcard ‘_’ not allowed in a constraint except as the last top-level constraint of a type signature e.g f :: (Eq a, _) => blah diff --git a/testsuite/tests/partial-sigs/should_fail/UnnamedConstraintWildcard2.stderr b/testsuite/tests/partial-sigs/should_fail/UnnamedConstraintWildcard2.stderr index c695321da7..8becad9a96 100644 --- a/testsuite/tests/partial-sigs/should_fail/UnnamedConstraintWildcard2.stderr +++ b/testsuite/tests/partial-sigs/should_fail/UnnamedConstraintWildcard2.stderr @@ -1,5 +1,5 @@ -UnnamedConstraintWildcard2.hs:4:8: error: +UnnamedConstraintWildcard2.hs:4:8: error: [GHC-65507] Wildcard ‘_’ not allowed in a constraint except as the last top-level constraint of a type signature e.g f :: (Eq a, _) => blah diff --git a/testsuite/tests/partial-sigs/should_fail/WildcardInADT1.stderr b/testsuite/tests/partial-sigs/should_fail/WildcardInADT1.stderr index 8d88278060..b82dd1ef4f 100644 --- a/testsuite/tests/partial-sigs/should_fail/WildcardInADT1.stderr +++ b/testsuite/tests/partial-sigs/should_fail/WildcardInADT1.stderr @@ -1,4 +1,4 @@ -WildcardInADT1.hs:4:26: error: +WildcardInADT1.hs:4:26: error: [GHC-65507] Wildcard ‘_’ not allowed in the definition of data constructor ‘Foo’ diff --git a/testsuite/tests/partial-sigs/should_fail/WildcardInADT2.stderr b/testsuite/tests/partial-sigs/should_fail/WildcardInADT2.stderr index 2c8acc3307..6537262707 100644 --- a/testsuite/tests/partial-sigs/should_fail/WildcardInADT2.stderr +++ b/testsuite/tests/partial-sigs/should_fail/WildcardInADT2.stderr @@ -1,4 +1,4 @@ -WildcardInADT2.hs:4:34: error: +WildcardInADT2.hs:4:34: error: [GHC-65507] Wildcard ‘_’ not allowed in the definition of data constructor ‘Foo’ diff --git a/testsuite/tests/partial-sigs/should_fail/WildcardInADT3.stderr b/testsuite/tests/partial-sigs/should_fail/WildcardInADT3.stderr index 48e38d84ed..fe2f70d008 100644 --- a/testsuite/tests/partial-sigs/should_fail/WildcardInADT3.stderr +++ b/testsuite/tests/partial-sigs/should_fail/WildcardInADT3.stderr @@ -1,4 +1,4 @@ -WildcardInADT3.hs:4:27: error: +WildcardInADT3.hs:4:27: error: [GHC-65507] Wildcard ‘_’ not allowed in the definition of data constructor ‘Foo’ diff --git a/testsuite/tests/partial-sigs/should_fail/WildcardInADTContext1.stderr b/testsuite/tests/partial-sigs/should_fail/WildcardInADTContext1.stderr index afd7020227..e1ab864988 100644 --- a/testsuite/tests/partial-sigs/should_fail/WildcardInADTContext1.stderr +++ b/testsuite/tests/partial-sigs/should_fail/WildcardInADTContext1.stderr @@ -2,6 +2,6 @@ WildcardInADTContext1.hs:1:37: warning: [-Wdeprecated-flags (in -Wdefault)] -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language. -WildcardInADTContext1.hs:4:13: error: +WildcardInADTContext1.hs:4:13: error: [GHC-65507] Wildcard ‘_’ not allowed in the data type declaration for ‘Foo’ diff --git a/testsuite/tests/partial-sigs/should_fail/WildcardInADTContext2.stderr b/testsuite/tests/partial-sigs/should_fail/WildcardInADTContext2.stderr index 32fc28b6fa..8333aa4a14 100644 --- a/testsuite/tests/partial-sigs/should_fail/WildcardInADTContext2.stderr +++ b/testsuite/tests/partial-sigs/should_fail/WildcardInADTContext2.stderr @@ -2,6 +2,6 @@ WildcardInADTContext2.hs:1:53: warning: [-Wdeprecated-flags (in -Wdefault)] -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language. -WildcardInADTContext2.hs:4:10: error: +WildcardInADTContext2.hs:4:10: error: [GHC-76037] Not in scope: type variable ‘_a’ Suggested fix: Perhaps use ‘a’ (line 4) diff --git a/testsuite/tests/partial-sigs/should_fail/WildcardInDefault.stderr b/testsuite/tests/partial-sigs/should_fail/WildcardInDefault.stderr index 5321815171..1cb3b46f8e 100644 --- a/testsuite/tests/partial-sigs/should_fail/WildcardInDefault.stderr +++ b/testsuite/tests/partial-sigs/should_fail/WildcardInDefault.stderr @@ -1,4 +1,4 @@ -WildcardInDefault.hs:4:10: error: +WildcardInDefault.hs:4:10: error: [GHC-65507] Wildcard ‘_’ not allowed in a `default' declaration diff --git a/testsuite/tests/partial-sigs/should_fail/WildcardInDefaultSignature.stderr b/testsuite/tests/partial-sigs/should_fail/WildcardInDefaultSignature.stderr index 941ea1c5d4..98913a6f8b 100644 --- a/testsuite/tests/partial-sigs/should_fail/WildcardInDefaultSignature.stderr +++ b/testsuite/tests/partial-sigs/should_fail/WildcardInDefaultSignature.stderr @@ -1,4 +1,4 @@ -WildcardInDefaultSignature.hs:7:16: error: +WildcardInDefaultSignature.hs:7:16: error: [GHC-65507] Wildcard ‘_’ not allowed in a class method signature for ‘f’ diff --git a/testsuite/tests/partial-sigs/should_fail/WildcardInDeriving.stderr b/testsuite/tests/partial-sigs/should_fail/WildcardInDeriving.stderr index 054c0a424c..68d01bb0f1 100644 --- a/testsuite/tests/partial-sigs/should_fail/WildcardInDeriving.stderr +++ b/testsuite/tests/partial-sigs/should_fail/WildcardInDeriving.stderr @@ -1,4 +1,4 @@ -WildcardInDeriving.hs:5:22: error: +WildcardInDeriving.hs:5:22: error: [GHC-65507] Wildcard ‘_’ not allowed in the data type declaration for ‘Foo’ diff --git a/testsuite/tests/partial-sigs/should_fail/WildcardInForeignExport.stderr b/testsuite/tests/partial-sigs/should_fail/WildcardInForeignExport.stderr index e207df7528..ede183a2bd 100644 --- a/testsuite/tests/partial-sigs/should_fail/WildcardInForeignExport.stderr +++ b/testsuite/tests/partial-sigs/should_fail/WildcardInForeignExport.stderr @@ -1,4 +1,4 @@ -WildcardInForeignExport.hs:6:37: error: +WildcardInForeignExport.hs:6:37: error: [GHC-65507] Wildcard ‘_’ not allowed in the foreign declaration for ‘foo’ diff --git a/testsuite/tests/partial-sigs/should_fail/WildcardInForeignImport.stderr b/testsuite/tests/partial-sigs/should_fail/WildcardInForeignImport.stderr index 3c34f027d1..dc9daedfba 100644 --- a/testsuite/tests/partial-sigs/should_fail/WildcardInForeignImport.stderr +++ b/testsuite/tests/partial-sigs/should_fail/WildcardInForeignImport.stderr @@ -1,4 +1,4 @@ -WildcardInForeignImport.hs:6:48: error: +WildcardInForeignImport.hs:6:48: error: [GHC-65507] Wildcard ‘_’ not allowed in the foreign declaration for ‘c_sin’ diff --git a/testsuite/tests/partial-sigs/should_fail/WildcardInGADT1.stderr b/testsuite/tests/partial-sigs/should_fail/WildcardInGADT1.stderr index c542644539..41d5c582be 100644 --- a/testsuite/tests/partial-sigs/should_fail/WildcardInGADT1.stderr +++ b/testsuite/tests/partial-sigs/should_fail/WildcardInGADT1.stderr @@ -1,4 +1,4 @@ -WildcardInGADT1.hs:5:19: error: +WildcardInGADT1.hs:5:19: error: [GHC-65507] Wildcard ‘_’ not allowed in the definition of data constructor ‘Foo’ diff --git a/testsuite/tests/partial-sigs/should_fail/WildcardInGADT2.stderr b/testsuite/tests/partial-sigs/should_fail/WildcardInGADT2.stderr index bf63d2a997..85dba04ad9 100644 --- a/testsuite/tests/partial-sigs/should_fail/WildcardInGADT2.stderr +++ b/testsuite/tests/partial-sigs/should_fail/WildcardInGADT2.stderr @@ -1,4 +1,4 @@ -WildcardInGADT2.hs:5:17: error: +WildcardInGADT2.hs:5:17: error: [GHC-65507] Wildcard ‘_’ not allowed in the definition of data constructor ‘Foo’ diff --git a/testsuite/tests/partial-sigs/should_fail/WildcardInInstanceHead.stderr b/testsuite/tests/partial-sigs/should_fail/WildcardInInstanceHead.stderr index 367e10a16f..718f136e46 100644 --- a/testsuite/tests/partial-sigs/should_fail/WildcardInInstanceHead.stderr +++ b/testsuite/tests/partial-sigs/should_fail/WildcardInInstanceHead.stderr @@ -1,4 +1,4 @@ -WildcardInInstanceHead.hs:7:14: error: +WildcardInInstanceHead.hs:7:14: error: [GHC-65507] Wildcard ‘_’ not allowed in an instance declaration diff --git a/testsuite/tests/partial-sigs/should_fail/WildcardInInstanceSig.stderr b/testsuite/tests/partial-sigs/should_fail/WildcardInInstanceSig.stderr index 1e59fb7122..466d971bd8 100644 --- a/testsuite/tests/partial-sigs/should_fail/WildcardInInstanceSig.stderr +++ b/testsuite/tests/partial-sigs/should_fail/WildcardInInstanceSig.stderr @@ -1,4 +1,4 @@ -WildcardInInstanceSig.hs:5:13: error: +WildcardInInstanceSig.hs:5:13: error: [GHC-65507] Wildcard ‘_’ not allowed in a class method signature for ‘negate’ diff --git a/testsuite/tests/partial-sigs/should_fail/WildcardInNewtype.stderr b/testsuite/tests/partial-sigs/should_fail/WildcardInNewtype.stderr index 72e60eebdc..ce46867a6a 100644 --- a/testsuite/tests/partial-sigs/should_fail/WildcardInNewtype.stderr +++ b/testsuite/tests/partial-sigs/should_fail/WildcardInNewtype.stderr @@ -1,4 +1,4 @@ -WildcardInNewtype.hs:7:29: error: +WildcardInNewtype.hs:7:29: error: [GHC-65507] Wildcard ‘_’ not allowed in the definition of data constructor ‘Foo’ diff --git a/testsuite/tests/partial-sigs/should_fail/WildcardInPatSynSig.stderr b/testsuite/tests/partial-sigs/should_fail/WildcardInPatSynSig.stderr index c27b0c90d1..ed517a0232 100644 --- a/testsuite/tests/partial-sigs/should_fail/WildcardInPatSynSig.stderr +++ b/testsuite/tests/partial-sigs/should_fail/WildcardInPatSynSig.stderr @@ -1,4 +1,4 @@ -WildcardInPatSynSig.hs:4:37: error: +WildcardInPatSynSig.hs:4:37: error: [GHC-65507] Wildcard ‘_’ not allowed in a pattern synonym signature for ‘Single’ diff --git a/testsuite/tests/partial-sigs/should_fail/WildcardInStandaloneDeriving.stderr b/testsuite/tests/partial-sigs/should_fail/WildcardInStandaloneDeriving.stderr index 0609021c15..2af068b5a0 100644 --- a/testsuite/tests/partial-sigs/should_fail/WildcardInStandaloneDeriving.stderr +++ b/testsuite/tests/partial-sigs/should_fail/WildcardInStandaloneDeriving.stderr @@ -1,4 +1,4 @@ -WildcardInStandaloneDeriving.hs:4:19: error: +WildcardInStandaloneDeriving.hs:4:19: error: [GHC-65507] Wildcard ‘_’ not allowed in a deriving declaration diff --git a/testsuite/tests/partial-sigs/should_fail/WildcardInTypeFamilyInstanceRHS.stderr b/testsuite/tests/partial-sigs/should_fail/WildcardInTypeFamilyInstanceRHS.stderr index 1572c86e0b..3edb17a99a 100644 --- a/testsuite/tests/partial-sigs/should_fail/WildcardInTypeFamilyInstanceRHS.stderr +++ b/testsuite/tests/partial-sigs/should_fail/WildcardInTypeFamilyInstanceRHS.stderr @@ -1,4 +1,4 @@ -WildcardInTypeFamilyInstanceRHS.hs:8:25: error: +WildcardInTypeFamilyInstanceRHS.hs:8:25: error: [GHC-65507] Wildcard ‘_’ not allowed in the declaration for type synonym ‘Dual’ diff --git a/testsuite/tests/partial-sigs/should_fail/WildcardInTypeSynonymLHS.stderr b/testsuite/tests/partial-sigs/should_fail/WildcardInTypeSynonymLHS.stderr index ec438805e4..3a5fe4f5a0 100644 --- a/testsuite/tests/partial-sigs/should_fail/WildcardInTypeSynonymLHS.stderr +++ b/testsuite/tests/partial-sigs/should_fail/WildcardInTypeSynonymLHS.stderr @@ -1,5 +1,5 @@ -WildcardInTypeSynonymLHS.hs:4:10: +WildcardInTypeSynonymLHS.hs:4:10: error: [GHC-77878] Unexpected type ‘_’ In the type declaration for ‘Foo’ A type declaration should have form diff --git a/testsuite/tests/partial-sigs/should_fail/WildcardInTypeSynonymRHS.stderr b/testsuite/tests/partial-sigs/should_fail/WildcardInTypeSynonymRHS.stderr index 6b921a1130..b16f3ffb08 100644 --- a/testsuite/tests/partial-sigs/should_fail/WildcardInTypeSynonymRHS.stderr +++ b/testsuite/tests/partial-sigs/should_fail/WildcardInTypeSynonymRHS.stderr @@ -1,4 +1,4 @@ -WildcardInTypeSynonymRHS.hs:4:18: error: +WildcardInTypeSynonymRHS.hs:4:18: error: [GHC-65507] Wildcard ‘_’ not allowed in the declaration for type synonym ‘Foo’ diff --git a/testsuite/tests/partial-sigs/should_fail/WildcardInstantiations.stderr b/testsuite/tests/partial-sigs/should_fail/WildcardInstantiations.stderr index 827356a7ae..a9804d8dcb 100644 --- a/testsuite/tests/partial-sigs/should_fail/WildcardInstantiations.stderr +++ b/testsuite/tests/partial-sigs/should_fail/WildcardInstantiations.stderr @@ -1,5 +1,5 @@ -WildcardInstantiations.hs:5:14: error: +WildcardInstantiations.hs:5:14: error: [GHC-88464] • Found type wildcard ‘_a’ standing for ‘a’ Where: ‘a’ is a rigid type variable bound by the inferred type of foo :: (Show a, Enum a) => a -> String @@ -7,7 +7,7 @@ WildcardInstantiations.hs:5:14: error: To use the inferred type, enable PartialTypeSignatures • In the type signature: foo :: (Show _a, _) => _a -> _ -WildcardInstantiations.hs:5:18: error: +WildcardInstantiations.hs:5:18: error: [GHC-88464] • Found extra-constraints wildcard standing for ‘Enum a’ Where: ‘a’ is a rigid type variable bound by the inferred type of foo :: (Show a, Enum a) => a -> String @@ -15,13 +15,13 @@ WildcardInstantiations.hs:5:18: error: To use the inferred type, enable PartialTypeSignatures • In the type signature: foo :: (Show _a, _) => _a -> _ -WildcardInstantiations.hs:5:30: error: +WildcardInstantiations.hs:5:30: error: [GHC-88464] • Found type wildcard ‘_’ standing for ‘String’ To use the inferred type, enable PartialTypeSignatures • In the type ‘_a -> _’ In the type signature: foo :: (Show _a, _) => _a -> _ -WildcardInstantiations.hs:8:8: error: +WildcardInstantiations.hs:8:8: error: [GHC-88464] • Found type wildcard ‘_’ standing for ‘t’ Where: ‘t’ is a rigid type variable bound by the inferred type of bar :: t -> (t -> w) -> w @@ -30,7 +30,7 @@ WildcardInstantiations.hs:8:8: error: • In the type ‘_ -> _ -> _’ In the type signature: bar :: _ -> _ -> _ -WildcardInstantiations.hs:8:13: error: +WildcardInstantiations.hs:8:13: error: [GHC-88464] • Found type wildcard ‘_’ standing for ‘t -> w’ Where: ‘t’, ‘w’ are rigid type variables bound by the inferred type of bar :: t -> (t -> w) -> w @@ -39,7 +39,7 @@ WildcardInstantiations.hs:8:13: error: • In the type ‘_ -> _ -> _’ In the type signature: bar :: _ -> _ -> _ -WildcardInstantiations.hs:8:18: error: +WildcardInstantiations.hs:8:18: error: [GHC-88464] • Found type wildcard ‘_’ standing for ‘w’ Where: ‘w’ is a rigid type variable bound by the inferred type of bar :: t -> (t -> w) -> w diff --git a/testsuite/tests/partial-sigs/should_fail/WildcardsInPatternAndExprSig.stderr b/testsuite/tests/partial-sigs/should_fail/WildcardsInPatternAndExprSig.stderr index 726b43898e..cc577873fd 100644 --- a/testsuite/tests/partial-sigs/should_fail/WildcardsInPatternAndExprSig.stderr +++ b/testsuite/tests/partial-sigs/should_fail/WildcardsInPatternAndExprSig.stderr @@ -1,5 +1,5 @@ -WildcardsInPatternAndExprSig.hs:4:18: error: +WildcardsInPatternAndExprSig.hs:4:18: error: [GHC-88464] • Found type wildcard ‘_a’ standing for ‘w’ Where: ‘w’ is a rigid type variable bound by the inferred type of bar :: Maybe [w] -> w -> [w] @@ -12,7 +12,7 @@ WildcardsInPatternAndExprSig.hs:4:18: error: bar :: Maybe [w] -> w -> [w] (bound at WildcardsInPatternAndExprSig.hs:4:1) -WildcardsInPatternAndExprSig.hs:4:25: error: +WildcardsInPatternAndExprSig.hs:4:25: error: [GHC-88464] • Found type wildcard ‘_’ standing for ‘[w]’ Where: ‘w’ is a rigid type variable bound by the inferred type of bar :: Maybe [w] -> w -> [w] @@ -25,7 +25,7 @@ WildcardsInPatternAndExprSig.hs:4:25: error: bar :: Maybe [w] -> w -> [w] (bound at WildcardsInPatternAndExprSig.hs:4:1) -WildcardsInPatternAndExprSig.hs:4:38: error: +WildcardsInPatternAndExprSig.hs:4:38: error: [GHC-88464] • Found type wildcard ‘_b’ standing for ‘w’ Where: ‘w’ is a rigid type variable bound by the inferred type of bar :: Maybe [w] -> w -> [w] @@ -40,7 +40,7 @@ WildcardsInPatternAndExprSig.hs:4:38: error: bar :: Maybe [w] -> w -> [w] (bound at WildcardsInPatternAndExprSig.hs:4:1) -WildcardsInPatternAndExprSig.hs:4:49: error: +WildcardsInPatternAndExprSig.hs:4:49: error: [GHC-88464] • Found type wildcard ‘_c’ standing for ‘w’ Where: ‘w’ is a rigid type variable bound by the inferred type of bar :: Maybe [w] -> w -> [w] @@ -56,7 +56,7 @@ WildcardsInPatternAndExprSig.hs:4:49: error: bar :: Maybe [w] -> w -> [w] (bound at WildcardsInPatternAndExprSig.hs:4:1) -WildcardsInPatternAndExprSig.hs:4:66: error: +WildcardsInPatternAndExprSig.hs:4:66: error: [GHC-88464] • Found type wildcard ‘_d’ standing for ‘w’ Where: ‘w’ is a rigid type variable bound by the inferred type of bar :: Maybe [w] -> w -> [w] diff --git a/testsuite/tests/partial-sigs/should_run/T15415.stderr b/testsuite/tests/partial-sigs/should_run/T15415.stderr index 1070a07ca8..245bb02f39 100644 --- a/testsuite/tests/partial-sigs/should_run/T15415.stderr +++ b/testsuite/tests/partial-sigs/should_run/T15415.stderr @@ -1,5 +1,5 @@ -<interactive>:1:7: error: +<interactive>:1:7: error: [GHC-88464] • Found type wildcard ‘_’ standing for ‘w0 :: k0’ Where: ‘k0’ is an ambiguous type variable ‘w0’ is an ambiguous type variable @@ -7,34 +7,34 @@ • In the first argument of ‘Proxy’, namely ‘_’ In the type ‘Proxy _’ -<interactive>:1:17: error: +<interactive>:1:17: error: [GHC-88464] • Found type wildcard ‘_’ standing for ‘* -> *’ To use the inferred type, enable PartialTypeSignatures • In the kind ‘_’ In the first argument of ‘Proxy’, namely ‘(Maybe :: _)’ In the type ‘Proxy (Maybe :: _)’ -<interactive>:1:11: error: +<interactive>:1:11: error: [GHC-88464] • Found type wildcard ‘_’ standing for ‘w0’ Where: ‘w0’ is an ambiguous type variable To use the inferred type, enable PartialTypeSignatures • In the first argument of ‘Dependent’, namely ‘_’ In the type ‘Dependent _’ -<interactive>:1:7: warning: [-Wpartial-type-signatures (in -Wdefault)] +<interactive>:1:7: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘w0 :: k0’ Where: ‘k0’ is an ambiguous type variable ‘w0’ is an ambiguous type variable • In the first argument of ‘Proxy’, namely ‘_’ In the type ‘Proxy _’ -<interactive>:1:17: warning: [-Wpartial-type-signatures (in -Wdefault)] +<interactive>:1:17: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘* -> *’ • In the kind ‘_’ In the first argument of ‘Proxy’, namely ‘(Maybe :: _)’ In the type ‘Proxy (Maybe :: _)’ -<interactive>:1:11: warning: [-Wpartial-type-signatures (in -Wdefault)] +<interactive>:1:11: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘w0’ Where: ‘w0’ is an ambiguous type variable • In the first argument of ‘Dependent’, namely ‘_’ |