diff options
author | Herbert Valerio Riedel <hvr@gnu.org> | 2016-02-27 19:45:11 +0100 |
---|---|---|
committer | Herbert Valerio Riedel <hvr@gnu.org> | 2016-02-27 19:45:11 +0100 |
commit | 3cd4c9ca4564982cf159f11f59d434235ba28808 (patch) | |
tree | 17b6b13f6d8a177d341b39eb94be110919a0a14d | |
parent | b6c61e372a1a783b32f1bbd1ceb446e89478a138 (diff) | |
download | haskell-3cd4c9ca4564982cf159f11f59d434235ba28808.tar.gz |
Annotate `[-Wdeferred-type-errors]` in warnings (re #10752)
This was missed in bb5afd3c274011c5ea302210b4c290ec1f83209c
-rw-r--r-- | compiler/typecheck/TcErrors.hs | 2 | ||||
-rw-r--r-- | testsuite/tests/gadt/T7294.stderr | 2 | ||||
-rw-r--r-- | testsuite/tests/ghci/scripts/Defer02.stderr | 26 | ||||
-rw-r--r-- | testsuite/tests/ghci/scripts/T8353.stderr | 6 | ||||
-rw-r--r-- | testsuite/tests/partial-sigs/should_compile/T10403.stderr | 6 | ||||
-rw-r--r-- | testsuite/tests/th/T7276a.stdout | 2 | ||||
-rw-r--r-- | testsuite/tests/typecheck/should_compile/T11254.stderr | 4 | ||||
-rw-r--r-- | testsuite/tests/typecheck/should_compile/T9834.stderr | 4 | ||||
-rw-r--r-- | testsuite/tests/typecheck/should_compile/holes2.stderr | 2 |
9 files changed, 27 insertions, 27 deletions
diff --git a/compiler/typecheck/TcErrors.hs b/compiler/typecheck/TcErrors.hs index c78f07381f..48c036117f 100644 --- a/compiler/typecheck/TcErrors.hs +++ b/compiler/typecheck/TcErrors.hs @@ -624,7 +624,7 @@ maybeReportError ctxt err | otherwise = case cec_defer_type_errors ctxt of TypeDefer -> return () - TypeWarn -> reportWarning NoReason err + TypeWarn -> reportWarning (Reason Opt_WarnDeferredTypeErrors) err TypeError -> reportError err addDeferredBinding :: ReportErrCtxt -> ErrMsg -> Ct -> TcM () diff --git a/testsuite/tests/gadt/T7294.stderr b/testsuite/tests/gadt/T7294.stderr index 5fd4ea92ab..2782b8a1f2 100644 --- a/testsuite/tests/gadt/T7294.stderr +++ b/testsuite/tests/gadt/T7294.stderr @@ -3,7 +3,7 @@ T7294.hs:25:1: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match is redundant In an equation for ‘nth’: nth Nil _ = ... -T7294.hs:25:5: warning: +T7294.hs:25:5: warning: [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match type ‘'True’ with ‘'False’ Inaccessible code in a pattern with constructor: Nil :: forall a. Vec a 'Zero, diff --git a/testsuite/tests/ghci/scripts/Defer02.stderr b/testsuite/tests/ghci/scripts/Defer02.stderr index f1d9787529..859142427c 100644 --- a/testsuite/tests/ghci/scripts/Defer02.stderr +++ b/testsuite/tests/ghci/scripts/Defer02.stderr @@ -1,5 +1,5 @@ -../../typecheck/should_run/Defer01.hs:11:40: warning: +../../typecheck/should_run/Defer01.hs:11:40: warning: [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match type ‘Char’ with ‘[Char]’ Expected type: String Actual type: Char @@ -7,12 +7,12 @@ In the second argument of ‘(>>)’, namely ‘putStr ','’ In the expression: putStr "Hello World" >> putStr ',' -../../typecheck/should_run/Defer01.hs:14:5: warning: +../../typecheck/should_run/Defer01.hs:14:5: warning: [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match expected type ‘Int’ with actual type ‘Char’ • In the expression: 'p' In an equation for ‘a’: a = 'p' -../../typecheck/should_run/Defer01.hs:18:7: warning: +../../typecheck/should_run/Defer01.hs:18:7: warning: [-Wdeferred-type-errors (in -Wdefault)] • No instance for (Eq B) arising from a use of ‘==’ • In the expression: x == x In an equation for ‘b’: b x = x == x @@ -21,7 +21,7 @@ Pattern match has inaccessible right hand side In an equation for ‘c’: c (C2 x) = ... -../../typecheck/should_run/Defer01.hs:25:4: warning: +../../typecheck/should_run/Defer01.hs:25:4: warning: [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match type ‘Int’ with ‘Bool’ Inaccessible code in a pattern with constructor: C2 :: Bool -> C Bool, @@ -29,13 +29,13 @@ • In the pattern: C2 x In an equation for ‘c’: c (C2 x) = True -../../typecheck/should_run/Defer01.hs:28:5: warning: +../../typecheck/should_run/Defer01.hs:28:5: warning: [-Wdeferred-type-errors (in -Wdefault)] • No instance for (Num (a -> a)) arising from the literal ‘1’ (maybe you haven't applied a function to enough arguments?) • In the expression: 1 In an equation for ‘d’: d = 1 -../../typecheck/should_run/Defer01.hs:31:5: warning: +../../typecheck/should_run/Defer01.hs:31:5: warning: [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match expected type ‘Char -> t’ with actual type ‘Char’ • The function ‘e’ is applied to one argument, but its type ‘Char’ has none @@ -44,7 +44,7 @@ • Relevant bindings include f :: t (bound at ../../typecheck/should_run/Defer01.hs:31:1) -../../typecheck/should_run/Defer01.hs:34:8: warning: +../../typecheck/should_run/Defer01.hs:34:8: warning: [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match expected type ‘Char’ with actual type ‘a’ ‘a’ is a rigid type variable bound by the type signature for: @@ -58,7 +58,7 @@ h :: a -> (Char, Char) (bound at ../../typecheck/should_run/Defer01.hs:34:1) -../../typecheck/should_run/Defer01.hs:39:17: warning: +../../typecheck/should_run/Defer01.hs:39:17: warning: [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match expected type ‘Bool’ with actual type ‘T a’ • In the first argument of ‘not’, namely ‘(K a)’ In the expression: (not (K a)) @@ -67,12 +67,12 @@ a :: a (bound at ../../typecheck/should_run/Defer01.hs:39:3) i :: a -> () (bound at ../../typecheck/should_run/Defer01.hs:39:1) -../../typecheck/should_run/Defer01.hs:43:5: warning: +../../typecheck/should_run/Defer01.hs:43:5: warning: [-Wdeferred-type-errors (in -Wdefault)] • No instance for (MyClass a1) arising from a use of ‘myOp’ • In the expression: myOp 23 In an equation for ‘j’: j = myOp 23 -../../typecheck/should_run/Defer01.hs:43:10: warning: +../../typecheck/should_run/Defer01.hs:43:10: warning: [-Wdeferred-type-errors (in -Wdefault)] • Ambiguous type variable ‘a1’ arising from the literal ‘23’ prevents the constraint ‘(Num a1)’ from being solved. Probable fix: use a type annotation to specify what ‘a1’ should be. @@ -86,13 +86,13 @@ In the expression: myOp 23 In an equation for ‘j’: j = myOp 23 -../../typecheck/should_run/Defer01.hs:45:1: warning: +../../typecheck/should_run/Defer01.hs:45:1: warning: [-Wdeferred-type-errors (in -Wdefault)] Couldn't match type ‘Int’ with ‘Bool’ Inaccessible code in the type signature for: k :: (Int ~ Bool) => Int -> Bool -../../typecheck/should_run/Defer01.hs:45:6: warning: +../../typecheck/should_run/Defer01.hs:45:6: warning: [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match type ‘Int’ with ‘Bool’ Inaccessible code in the type signature for: @@ -106,7 +106,7 @@ Pattern match is redundant In an equation for ‘k’: k x = ... -../../typecheck/should_run/Defer01.hs:49:5: warning: +../../typecheck/should_run/Defer01.hs:49:5: warning: [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match expected type ‘IO a0’ with actual type ‘Char -> IO ()’ • Probable cause: ‘putChar’ is applied to too few arguments diff --git a/testsuite/tests/ghci/scripts/T8353.stderr b/testsuite/tests/ghci/scripts/T8353.stderr index 41be9353c1..e525c22162 100644 --- a/testsuite/tests/ghci/scripts/T8353.stderr +++ b/testsuite/tests/ghci/scripts/T8353.stderr @@ -1,5 +1,5 @@ -Defer03.hs:4:5: warning: +Defer03.hs:4:5: warning: [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match expected type ‘Int’ with actual type ‘Char’ • In the expression: 'p' In an equation for ‘a’: a = 'p' @@ -21,7 +21,7 @@ Defer03.hs:7:5: error: In an equation for ‘f’: f = _ • Relevant bindings include f :: Int (bound at Defer03.hs:7:1) -Defer03.hs:4:5: warning: +Defer03.hs:4:5: warning: [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match expected type ‘Int’ with actual type ‘Char’ • In the expression: 'p' In an equation for ‘a’: a = 'p' @@ -43,7 +43,7 @@ Defer03.hs:7:5: error: In an equation for ‘f’: f = _ • Relevant bindings include f :: Int (bound at Defer03.hs:7:1) -Defer03.hs:4:5: warning: +Defer03.hs:4:5: warning: [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match expected type ‘Int’ with actual type ‘Char’ • In the expression: 'p' In an equation for ‘a’: a = 'p' diff --git a/testsuite/tests/partial-sigs/should_compile/T10403.stderr b/testsuite/tests/partial-sigs/should_compile/T10403.stderr index d814f67c08..320b28b621 100644 --- a/testsuite/tests/partial-sigs/should_compile/T10403.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T10403.stderr @@ -34,7 +34,7 @@ T10403.hs:19:7: warning: [-Wpartial-type-signatures (in -Wdefault)] • Relevant bindings include h2 :: (a -> b) -> f0 a -> H f0 (bound at T10403.hs:22:1) -T10403.hs:22:15: warning: +T10403.hs:22:15: warning: [-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 @@ -51,7 +51,7 @@ T10403.hs:22:15: warning: In the expression: H . fmap (const ()) In the expression: (H . fmap (const ())) (fmap f b) -T10403.hs:28:8: warning: +T10403.hs:28:8: warning: [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match type ‘f0’ with ‘B t’ because type variable ‘t’ would escape its scope This (rigid, skolem) type variable is bound by @@ -65,7 +65,7 @@ T10403.hs:28:8: warning: • Relevant bindings include app2 :: H (B t) (bound at T10403.hs:28:1) -T10403.hs:28:20: warning: +T10403.hs:28:20: warning: [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match type ‘f0’ with ‘B t’ because type variable ‘t’ would escape its scope This (rigid, skolem) type variable is bound by diff --git a/testsuite/tests/th/T7276a.stdout b/testsuite/tests/th/T7276a.stdout index f18cbbd1dd..ebcf5be338 100644 --- a/testsuite/tests/th/T7276a.stdout +++ b/testsuite/tests/th/T7276a.stdout @@ -1,5 +1,5 @@ -<interactive>:3:9: warning: +<interactive>:3:9: warning: [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match type ‘[Dec]’ with ‘Exp’ Expected type: Q Exp Actual type: DecsQ diff --git a/testsuite/tests/typecheck/should_compile/T11254.stderr b/testsuite/tests/typecheck/should_compile/T11254.stderr index dd63b88c20..a7466b78b9 100644 --- a/testsuite/tests/typecheck/should_compile/T11254.stderr +++ b/testsuite/tests/typecheck/should_compile/T11254.stderr @@ -1,10 +1,10 @@ -T11254.hs:16:10: warning: +T11254.hs:16:10: warning: [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match type ‘Frac Int’ with ‘Int’ arising from the superclasses of an instance declaration • In the instance declaration for ‘ID Rational’ -T11254.hs:18:12: warning: +T11254.hs:18:12: warning: [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match type ‘GHC.Real.Ratio Integer’ with ‘Int’ Expected type: Rational -> Frac Rational Actual type: Rational -> Rational diff --git a/testsuite/tests/typecheck/should_compile/T9834.stderr b/testsuite/tests/typecheck/should_compile/T9834.stderr index 6232a4b78c..9e66a49770 100644 --- a/testsuite/tests/typecheck/should_compile/T9834.stderr +++ b/testsuite/tests/typecheck/should_compile/T9834.stderr @@ -1,5 +1,5 @@ -T9834.hs:23:10: warning: +T9834.hs:23:10: warning: [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match type ‘p’ with ‘(->) (p a0)’ ‘p’ is a rigid type variable bound by the class declaration for ‘ApplicativeFix’ at T9834.hs:21:39 @@ -20,7 +20,7 @@ T9834.hs:23:10: warning: -> p a (bound at T9834.hs:23:3) -T9834.hs:23:10: warning: +T9834.hs:23:10: warning: [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match type ‘a’ with ‘a1’ ‘a’ is a rigid type variable bound by the type signature for: diff --git a/testsuite/tests/typecheck/should_compile/holes2.stderr b/testsuite/tests/typecheck/should_compile/holes2.stderr index 51c4da9562..eb8d56f1e3 100644 --- a/testsuite/tests/typecheck/should_compile/holes2.stderr +++ b/testsuite/tests/typecheck/should_compile/holes2.stderr @@ -1,5 +1,5 @@ -holes2.hs:3:5: warning: +holes2.hs:3:5: warning: [-Wdeferred-type-errors (in -Wdefault)] • Ambiguous type variable ‘a0’ arising from a use of ‘show’ prevents the constraint ‘(Show a0)’ from being solved. Probable fix: use a type annotation to specify what ‘a0’ should be. |