Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/8518ad770e652d5ef2d1ba06a8b230d37d07a598 >--------------------------------------------------------------- commit 8518ad770e652d5ef2d1ba06a8b230d37d07a598 Author: Simon Peyton Jones <simo...@microsoft.com> Date: Thu Oct 4 17:58:18 2012 +0100 I've changed the error reporting so that with -fdefer-type-errors you get *all* type errors as warnings, rather than some being suppressed >--------------------------------------------------------------- tests/ghci/scripts/Defer02.stderr | 42 +++++++++++++++++++++++++++++++++++++ 1 files changed, 42 insertions(+), 0 deletions(-) diff --git a/tests/ghci/scripts/Defer02.stderr b/tests/ghci/scripts/Defer02.stderr index 28f8596..db02b16 100644 --- a/tests/ghci/scripts/Defer02.stderr +++ b/tests/ghci/scripts/Defer02.stderr @@ -12,6 +12,11 @@ In the expression: 'p' In an equation for `a': a = 'p' +../../typecheck/should_run/Defer01.hs:18:9: Warning: + No instance for (Eq B) arising from a use of `==' + In the expression: x == x + In an equation for `b': b x = x == x + ../../typecheck/should_run/Defer01.hs:25:4: Warning: Couldn't match type `Int' with `Bool' Inaccessible code in @@ -21,6 +26,11 @@ In the pattern: C2 x In an equation for `c': c (C2 x) = True +../../typecheck/should_run/Defer01.hs:28:5: Warning: + No instance for (Num (a -> a)) arising from the literal `1' + In the expression: 1 + In an equation for `d': d = 1 + ../../typecheck/should_run/Defer01.hs:31:5: Warning: Couldn't match expected type `Char -> t' with actual type `Char' Relevant bindings include @@ -30,6 +40,19 @@ In the expression: e 'q' In an equation for `f': f = e 'q' +../../typecheck/should_run/Defer01.hs:34:8: Warning: + Couldn't match expected type `Char' with actual type `a' + `a' is a rigid type variable bound by + the type signature for h :: a -> (Char, Char) + at ../../typecheck/should_run/Defer01.hs:33:6 + Relevant bindings include + h :: a -> (Char, Char) + (bound at ../../typecheck/should_run/Defer01.hs:34:1) + x :: a (bound at ../../typecheck/should_run/Defer01.hs:34:3) + In the expression: x + In the expression: (x, 'c') + In an equation for `h': h x = (x, 'c') + ../../typecheck/should_run/Defer01.hs:39:17: Warning: Couldn't match expected type `Bool' with actual type `T a' Relevant bindings include @@ -39,6 +62,25 @@ In the first argument of `not', namely `(K a)' In the expression: (not (K a)) +../../typecheck/should_run/Defer01.hs:43:5: Warning: + 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: + No instance for (Num a1) arising from the literal `23' + The type variable `a1' is ambiguous + Possible fix: add a type signature that fixes these type variable(s) + Note: there are several potential instances: + instance Num Double -- Defined in `GHC.Float' + instance Num Float -- Defined in `GHC.Float' + instance Integral a => Num (GHC.Real.Ratio a) + -- Defined in `GHC.Real' + ...plus three others + In the first argument of `myOp', namely `23' + In the expression: myOp 23 + In an equation for `j': j = myOp 23 + ../../typecheck/should_run/Defer01.hs:45:6: Warning: Couldn't match type `Int' with `Bool' Inaccessible code in _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
