diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_compile')
10 files changed, 54 insertions, 54 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/ExprSigLocal.stderr b/testsuite/tests/partial-sigs/should_compile/ExprSigLocal.stderr index 7e02028874..0b3e19be4f 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: +ExprSigLocal.hs:9:35: warning: [-Wpartial-type-signatures] • Found type wildcard ‘_’ standing for ‘a’ Where: ‘a’ is a rigid type variable bound by the inferred type of <expression> :: a -> a at ExprSigLocal.hs:9:27 @@ -9,7 +9,7 @@ ExprSigLocal.hs:9:35: warning: • Relevant bindings include y :: b -> b (bound at ExprSigLocal.hs:9:1) -ExprSigLocal.hs:11:21: warning: +ExprSigLocal.hs:11:21: warning: [-Wpartial-type-signatures] • Found type wildcard ‘_’ standing for ‘a’ Where: ‘a’ is a rigid type variable bound by the inferred type of g :: a -> a at ExprSigLocal.hs:11:13 diff --git a/testsuite/tests/partial-sigs/should_compile/SplicesUsed.stderr b/testsuite/tests/partial-sigs/should_compile/SplicesUsed.stderr index 333a78f97b..e330657e18 100644 --- a/testsuite/tests/partial-sigs/should_compile/SplicesUsed.stderr +++ b/testsuite/tests/partial-sigs/should_compile/SplicesUsed.stderr @@ -1,14 +1,14 @@ [1 of 2] Compiling Splices ( Splices.hs, Splices.o ) [2 of 2] Compiling SplicesUsed ( SplicesUsed.hs, SplicesUsed.o ) -SplicesUsed.hs:7:16: warning: +SplicesUsed.hs:7:16: warning: [-Wpartial-type-signatures] • Found type wildcard ‘_’ standing for ‘Maybe Bool’ • In the type signature: maybeBool :: _ • Relevant bindings include maybeBool :: Maybe Bool (bound at SplicesUsed.hs:8:1) -SplicesUsed.hs:8:15: warning: +SplicesUsed.hs:8:15: warning: [-Wpartial-type-signatures] • Found type wildcard ‘_a’ standing for ‘t’ Where: ‘t’ is a rigid type variable bound by the inferred type of <expression> :: t -> t at SplicesUsed.hs:8:15 @@ -18,7 +18,7 @@ SplicesUsed.hs:8:15: warning: • Relevant bindings include maybeBool :: Maybe Bool (bound at SplicesUsed.hs:8:1) -SplicesUsed.hs:8:27: warning: +SplicesUsed.hs:8:27: warning: [-Wpartial-type-signatures] • Found type wildcard ‘_’ standing for ‘Bool’ • In an expression type signature: Maybe _ In the first argument of ‘id :: _a -> _a’, namely @@ -27,7 +27,7 @@ SplicesUsed.hs:8:27: warning: • Relevant bindings include maybeBool :: Maybe Bool (bound at SplicesUsed.hs:8:1) -SplicesUsed.hs:10:17: warning: +SplicesUsed.hs:10:17: warning: [-Wpartial-type-signatures] • Found type wildcard ‘_’ standing for ‘(Char, a)’ Where: ‘a’ is a rigid type variable bound by the inferred type of charA :: a -> (Char, a) @@ -37,7 +37,7 @@ SplicesUsed.hs:10:17: warning: • Relevant bindings include charA :: a -> (Char, a) (bound at SplicesUsed.hs:11:1) -SplicesUsed.hs:13:14: warning: +SplicesUsed.hs:13:14: warning: [-Wpartial-type-signatures] • 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] @@ -47,7 +47,7 @@ SplicesUsed.hs:13:14: warning: • Relevant bindings include filter' :: (a -> Bool) -> [a] -> [a] (bound at SplicesUsed.hs:14:1) -SplicesUsed.hs:13:14: warning: +SplicesUsed.hs:13:14: warning: [-Wpartial-type-signatures] • Found type wildcard ‘_’ standing for ‘[a]’ Where: ‘a’ is a rigid type variable bound by the inferred type of filter' :: (a -> Bool) -> [a] -> [a] @@ -57,7 +57,7 @@ SplicesUsed.hs:13:14: warning: • Relevant bindings include filter' :: (a -> Bool) -> [a] -> [a] (bound at SplicesUsed.hs:14:1) -SplicesUsed.hs:13:14: warning: +SplicesUsed.hs:13:14: warning: [-Wpartial-type-signatures] • Found type wildcard ‘_’ standing for ‘[a]’ Where: ‘a’ is a rigid type variable bound by the inferred type of filter' :: (a -> Bool) -> [a] -> [a] @@ -67,12 +67,12 @@ SplicesUsed.hs:13:14: warning: • Relevant bindings include filter' :: (a -> Bool) -> [a] -> [a] (bound at SplicesUsed.hs:14:1) -SplicesUsed.hs:16:3: warning: +SplicesUsed.hs:16:3: warning: [-Wpartial-type-signatures] Found constraint wildcard ‘_’ standing for ‘Eq a’ In the type signature: foo :: _ => _ -SplicesUsed.hs:16:3: warning: +SplicesUsed.hs:16:3: warning: [-Wpartial-type-signatures] • 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 @@ -82,14 +82,14 @@ SplicesUsed.hs:16:3: warning: • Relevant bindings include foo :: a -> a -> Bool (bound at SplicesUsed.hs:16:3) -SplicesUsed.hs:18:3: warning: +SplicesUsed.hs:18:3: warning: [-Wpartial-type-signatures] • Found type wildcard ‘_a’ standing for ‘Bool’ • In the type signature: bar :: _a -> _b -> (_a, _b) • Relevant bindings include bar :: Bool -> t -> (Bool, t) (bound at SplicesUsed.hs:18:3) -SplicesUsed.hs:18:3: warning: +SplicesUsed.hs:18:3: warning: [-Wpartial-type-signatures] • Found type wildcard ‘_b’ standing for ‘t’ Where: ‘t’ is a rigid type variable bound by the inferred type of bar :: Bool -> t -> (Bool, t) diff --git a/testsuite/tests/partial-sigs/should_compile/T10403.stderr b/testsuite/tests/partial-sigs/should_compile/T10403.stderr index 9cda918ae8..5c03acc974 100644 --- a/testsuite/tests/partial-sigs/should_compile/T10403.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T10403.stderr @@ -1,10 +1,10 @@ -T10403.hs:15:7: warning: +T10403.hs:15:7: warning: [-Wpartial-type-signatures] Found constraint wildcard ‘_’ standing for ‘Functor f’ In the type signature: h1 :: _ => _ -T10403.hs:15:12: warning: +T10403.hs:15:12: warning: [-Wpartial-type-signatures] • Found type wildcard ‘_’ standing for ‘(a -> b) -> f a -> H f’ Where: ‘f’ is a rigid type variable bound by the inferred type of h1 :: Functor f => (a -> b) -> f a -> H f @@ -20,7 +20,7 @@ T10403.hs:15:12: warning: • Relevant bindings include h1 :: (a -> b) -> f a -> H f (bound at T10403.hs:17:1) -T10403.hs:19:7: warning: +T10403.hs:19:7: warning: [-Wpartial-type-signatures] • Found type wildcard ‘_’ standing for ‘(a -> b) -> f0 a -> H f0’ Where: ‘f0’ is an ambiguous type variable ‘b’ is a rigid type variable bound by diff --git a/testsuite/tests/partial-sigs/should_compile/T10438.stderr b/testsuite/tests/partial-sigs/should_compile/T10438.stderr index d04fca208b..b373df4fb2 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: +T10438.hs:7:22: warning: [-Wpartial-type-signatures] • Found type wildcard ‘_’ standing for ‘t2’ Where: ‘t2’ is a rigid type variable bound by the inferred type of g :: t2 -> t2 at T10438.hs:6:9 diff --git a/testsuite/tests/partial-sigs/should_compile/T10463.stderr b/testsuite/tests/partial-sigs/should_compile/T10463.stderr index 9a3215e9fb..2392805feb 100644 --- a/testsuite/tests/partial-sigs/should_compile/T10463.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T10463.stderr @@ -1,8 +1,8 @@ -T10463.hs:5:9: warning: - Found type wildcard ‘_’ standing for ‘[Char]’ - In a pattern type signature: _ - In the pattern: x :: _ - In an equation for ‘f’: f (x :: _) = x ++ "" - Relevant bindings include - f :: [Char] -> [Char] (bound at T10463.hs:5:1) +T10463.hs:5:9: warning: [-Wpartial-type-signatures] + • Found type wildcard ‘_’ standing for ‘[Char]’ + • In a pattern type signature: _ + In the pattern: x :: _ + In an equation for ‘f’: f (x :: _) = x ++ "" + • Relevant bindings include + f :: [Char] -> [Char] (bound at T10463.hs:5:1) diff --git a/testsuite/tests/partial-sigs/should_compile/T10519.stderr b/testsuite/tests/partial-sigs/should_compile/T10519.stderr index d34b06227a..948cdb3e9d 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:
- Found constraint wildcard ‘_’ standing for ‘Eq a’
- In the type signature:
- foo :: forall a. _ => a -> a -> Bool
+ +T10519.hs:5:18: warning: [-Wpartial-type-signatures] + Found constraint wildcard ‘_’ standing for ‘Eq a’ + In the type signature: + foo :: forall 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 74dd18d9bf..04ff608627 100644 --- a/testsuite/tests/partial-sigs/should_compile/T11016.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T11016.stderr @@ -1,10 +1,10 @@ -T11016.hs:5:19: warning: +T11016.hs:5:19: warning: [-Wpartial-type-signatures] Found constraint wildcard ‘_’ standing for ‘()’ In the type signature: f1 :: (?x :: Int, _) => Int -T11016.hs:8:22: warning: +T11016.hs:8:22: warning: [-Wpartial-type-signatures] • 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 f2892b7fae..d87f6a3d2f 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: +T11192.hs:7:14: warning: [-Wpartial-type-signatures] • Found type wildcard ‘_’ standing for ‘Int -> t -> t’ Where: ‘t’ is a rigid type variable bound by the inferred type of go :: Int -> t -> t at T11192.hs:8:8 @@ -20,7 +20,7 @@ T11192.hs:7:14: warning: go :: Int -> t -> t (bound at T11192.hs:8:8) fails :: a (bound at T11192.hs:6:1) -T11192.hs:13:14: warning: +T11192.hs:13:14: warning: [-Wpartial-type-signatures] • Found type wildcard ‘_’ standing for ‘t1 -> t -> t’ Where: ‘t’ is a rigid type variable bound by the inferred type of go :: t1 -> t -> t at T11192.hs:14:8 diff --git a/testsuite/tests/partial-sigs/should_compile/TypedSplice.stderr b/testsuite/tests/partial-sigs/should_compile/TypedSplice.stderr index 2f92c657f3..b44f9fcc30 100644 --- a/testsuite/tests/partial-sigs/should_compile/TypedSplice.stderr +++ b/testsuite/tests/partial-sigs/should_compile/TypedSplice.stderr @@ -1,16 +1,16 @@ -TypedSplice.hs:9:22: warning: - Found type wildcard ‘_’ standing for ‘Bool’ - In an expression type signature: _ -> _b - In the Template Haskell quotation [|| not :: _ -> _b ||] - In the expression: [|| not :: _ -> _b ||] - Relevant bindings include - metaExp :: Q (TExp (Bool -> Bool)) (bound at TypedSplice.hs:9:1) +TypedSplice.hs:9:22: warning: [-Wpartial-type-signatures] + • Found type wildcard ‘_’ standing for ‘Bool’ + • In an expression type signature: _ -> _b + In the Template Haskell quotation [|| not :: _ -> _b ||] + In the expression: [|| not :: _ -> _b ||] + • Relevant bindings include + metaExp :: Q (TExp (Bool -> Bool)) (bound at TypedSplice.hs:9:1) -TypedSplice.hs:9:27: warning: - Found type wildcard ‘_b’ standing for ‘Bool’ - In an expression type signature: _ -> _b - In the Template Haskell quotation [|| not :: _ -> _b ||] - In the expression: [|| not :: _ -> _b ||] - Relevant bindings include - metaExp :: Q (TExp (Bool -> Bool)) (bound at TypedSplice.hs:9:1) +TypedSplice.hs:9:27: warning: [-Wpartial-type-signatures] + • Found type wildcard ‘_b’ standing for ‘Bool’ + • In an expression type signature: _ -> _b + In the Template Haskell quotation [|| not :: _ -> _b ||] + In the expression: [|| not :: _ -> _b ||] + • Relevant bindings include + metaExp :: Q (TExp (Bool -> Bool)) (bound at TypedSplice.hs:9:1) diff --git a/testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr b/testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr index 3fd0860bb8..b96f03d72d 100644 --- a/testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr +++ b/testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr @@ -5,9 +5,9 @@ TYPE CONSTRUCTORS COERCION AXIOMS Dependent modules: [] Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0, - integer-gmp-1.0.0.0] + integer-gmp-1.0.0.1] -WarningWildcardInstantiations.hs:5:14: warning: +WarningWildcardInstantiations.hs:5:14: warning: [-Wpartial-type-signatures] • 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 @@ -17,19 +17,19 @@ WarningWildcardInstantiations.hs:5:14: warning: • Relevant bindings include foo :: a -> String (bound at WarningWildcardInstantiations.hs:6:1) -WarningWildcardInstantiations.hs:5:18: warning: +WarningWildcardInstantiations.hs:5:18: warning: [-Wpartial-type-signatures] Found constraint wildcard ‘_’ standing for ‘Enum a’ In the type signature: foo :: (Show _a, _) => _a -> _ -WarningWildcardInstantiations.hs:5:30: warning: +WarningWildcardInstantiations.hs:5:30: warning: [-Wpartial-type-signatures] • Found type wildcard ‘_’ standing for ‘String’ • In the type signature: foo :: (Show _a, _) => _a -> _ • Relevant bindings include foo :: a -> String (bound at WarningWildcardInstantiations.hs:6:1) -WarningWildcardInstantiations.hs:8:8: warning: +WarningWildcardInstantiations.hs:8:8: warning: [-Wpartial-type-signatures] • Found type wildcard ‘_’ standing for ‘t1’ Where: ‘t1’ is a rigid type variable bound by the inferred type of bar :: t1 -> (t1 -> t) -> t @@ -40,7 +40,7 @@ WarningWildcardInstantiations.hs:8:8: warning: bar :: t1 -> (t1 -> t) -> t (bound at WarningWildcardInstantiations.hs:9:1) -WarningWildcardInstantiations.hs:8:13: warning: +WarningWildcardInstantiations.hs:8:13: warning: [-Wpartial-type-signatures] • Found type wildcard ‘_’ standing for ‘t1 -> t’ Where: ‘t’ is a rigid type variable bound by the inferred type of bar :: t1 -> (t1 -> t) -> t @@ -54,7 +54,7 @@ WarningWildcardInstantiations.hs:8:13: warning: bar :: t1 -> (t1 -> t) -> t (bound at WarningWildcardInstantiations.hs:9:1) -WarningWildcardInstantiations.hs:8:18: warning: +WarningWildcardInstantiations.hs:8:18: warning: [-Wpartial-type-signatures] • Found type wildcard ‘_’ standing for ‘t’ Where: ‘t’ is a rigid type variable bound by the inferred type of bar :: t1 -> (t1 -> t) -> t |