I failed to push some patches; now done S
| -----Original Message----- | From: [email protected] [mailto:[email protected]] | On Behalf Of Ian Lynagh | Sent: 23 June 2012 14:19 | To: [email protected] | Subject: Validate test failures | | | Hi all, | | There are currently 3 test failures when validating: | | typecheck/should_compile T4361 [exit code non-0] (normal) | typecheck/should_fail tcfail181 [stderr mismatch] (normal) | typecheck/should_fail tcfail189 [stderr mismatch] (normal) | | Does anyone know what's going on? | | | =====> tcfail181(normal) 1136 of 3367 [0, 0, 0] | cd ./typecheck/should_fail && '/home/ian/ghc/git/ghc/inplace/bin/ghc- | stage2' -fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output -no- | user-package-db -rtsopts -fno-ghci-history -c tcfail181.hs | >tcfail181.comp.stderr 2>&1 | Actual stderr output differs from expected: | --- ./typecheck/should_fail/tcfail181.stderr 2012-03-11 | 10:53:06.000000000 +0000 | +++ ./typecheck/should_fail/tcfail181.comp.stderr 2012-06-23 | 14:18:11.000000000 +0100 | @@ -1,7 +1,10 @@ | | tcfail181.hs:17:9: | - No instance for (Monad m0) | - arising from a use of `foo' | + Could not deduce (Monad m0) arising from a use of `foo' | + from the context (Monad m) | + bound by the inferred type of | + wog :: Monad m => t -> Something (m Bool) e | + at tcfail181.hs:17:1-30 | The type variable `m0' is ambiguous | Possible fix: add a type signature that fixes these type | variable(s) | Note: there are several potential instances: | *** unexpected failure for tcfail181(normal) =====> tcfail189(normal) | 1144 of 3367 [0, 1, 0] | cd ./typecheck/should_fail && '/home/ian/ghc/git/ghc/inplace/bin/ghc- | stage2' -fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output -no- | user-package-db -rtsopts -fno-ghci-history -c tcfail189.hs | >tcfail189.comp.stderr 2>&1 | Actual stderr output differs from expected: | --- ./typecheck/should_fail/tcfail189.stderr 2012-01-12 | 20:42:25.000000000 +0000 | +++ ./typecheck/should_fail/tcfail189.comp.stderr 2012-06-23 | 14:18:11.000000000 +0100 | @@ -1,4 +1,33 @@ | | +tcfail189.hs:9:14: | + No instance for (Enum a1) | + arising from the arithmetic sequence `1 .. 10' | + 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 Enum Double -- Defined in `GHC.Float' | + instance Enum Float -- Defined in `GHC.Float' | + instance Integral a => Enum (GHC.Real.Ratio a) | + -- Defined in `GHC.Real' | + ...plus 7 others | + In the expression: [1 .. 10] | + In a stmt of a list comprehension: x <- [1 .. 10] | + In a stmt of a list comprehension: then group by x using take 2 | + | +tcfail189.hs:9:15: | + No instance for (Num a1) arising from the literal `1' | + 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 expression: 1 | + In the expression: [1 .. 10] | + In a stmt of a list comprehension: x <- [1 .. 10] | + | tcfail189.hs:10:31: | Couldn't match type `[a0]' with `a -> a1' | Expected type: (a -> a1) -> [a] -> [[a]] | *** unexpected failure for tcfail189(normal) =====> T4361(normal) 1512 | of 3367 [0, 2, 0] | cd ./typecheck/should_compile && | '/home/ian/ghc/git/ghc/inplace/bin/ghc-stage2' -fforce-recomp -dcore- | lint -dcmm-lint -dno-debug-output -no-user-package-db -rtsopts -fno- | ghci-history -c T4361.hs -fno-warn-incomplete-patterns | >T4361.comp.stderr 2>&1 | Compile failed (status 256) errors were: | | T4361.hs:20:26: | Could not deduce (EuclideanRing a) | arising from a use of `upLinSolvRing' | from the context (LinSolvRing (Pol a), CommutativeRing a) | bound by the type signature for | moduloBasisx :: (LinSolvRing (Pol a), CommutativeRing | a) => | Pol a -> () | at T4361.hs:19:17-71 | Possible fix: | add (EuclideanRing a) to the context of | the type signature for | moduloBasisx :: (LinSolvRing (Pol a), CommutativeRing a) => | Pol a -> () | In the expression: upLinSolvRing p | In an equation for `x': x = upLinSolvRing p | In the expression: let x = upLinSolvRing p in () | | *** unexpected failure for T4361(normal) | | | Thanks | Ian | | | _______________________________________________ | Cvs-ghc mailing list | [email protected] | http://www.haskell.org/mailman/listinfo/cvs-ghc _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
