diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_compile/SplicesUsed.stderr')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_compile/SplicesUsed.stderr | 22 |
1 files changed, 11 insertions, 11 deletions
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) |