I fixed 5691, 7264, 5130 Simon
| -----Original Message----- | From: cvs-ghc-boun...@haskell.org [mailto:cvs-ghc-boun...@haskell.org] | On Behalf Of Simon Marlow | Sent: 31 October 2012 12:37 | To: GHC CVS list | Subject: Validate failures of the day | | Here's a selection of today's validate failures on x86_64/Linux for your | enjoyment. | | 1 unexpected passes | 13 unexpected failures | | And that's on our best supported platform. Now, one of those is due to | local changes in my tree, and another 4 are due to a linking issue that | breaks a few RTS tests on recent Linux distros (--as-needed stuff). 3 | are silly perf test failures. The rest are pasted below. | | Remember the good old days when we used to get the clean validate | message? :) | | Cheers, | Simon | | --- ./typecheck/should_fail/T5691.stderr 2012-10-31 11:21:51.000000000 | +0000 | +++ ./typecheck/should_fail/T5691.comp.stderr 2012-10-31 | 12:17:02.102562238 +0000 | @@ -1,6 +1,11 @@ | | T5691.hs:14:9: | Couldn't match type `p' with `PrintRuleInterp' | + `p' is untouchable | + inside the constraints () | + bound by the type signature for | + test :: PrintRuleInterp a -> PrintRuleInterp a | + at T5691.hs:14:3-6 | Expected type: PrintRuleInterp a | Actual type: p a | In the pattern: f :: p a | @@ -9,6 +14,11 @@ | | T5691.hs:15:24: | Couldn't match type `p' with `PrintRuleInterp' | + `p' is untouchable | + inside the constraints () | + bound by the type signature for | + test :: PrintRuleInterp a -> PrintRuleInterp a | + at T5691.hs:14:3-6 | Expected type: PrintRuleInterp a | Actual type: p a | Relevant bindings include f :: p a (bound at T5691.hs:14:9) | *** unexpected failure for T5691(normal) | | | --- ./typecheck/should_fail/T7264.stderr 2012-10-31 11:21:51.000000000 | +0000 | +++ ./typecheck/should_fail/T7264.comp.stderr 2012-10-31 | 12:17:02.670563611 +0000 | @@ -1,10 +1,6 @@ | | T7264.hs:13:19: | Couldn't match type `a' with `forall r. r -> String' | - `a' is untouchable | - inside the constraints () | - bound by the inferred type of mkFoo2 :: a -> Maybe Foo | - at T7264.hs:13:1-32 | `a' is a rigid type variable bound by | the inferred type of mkFoo2 :: a -> Maybe Foo at | T7264.hs:13:1 | Expected type: a -> Foo | | | | --- ./cabal/ghcpkg03.stderr 2012-10-29 13:53:32.000000000 +0000 | +++ ./cabal/ghcpkg03.run.stderr 2012-10-31 12:18:56.230835671 +0000 | @@ -7,7 +7,7 @@ | testpkg-1.2.3.4: cannot find any of ["A.hi","A.p_hi","A.dyn_hi"] | (ignoring) | testpkg-1.2.3.4: cannot find any of ["B.hi","B.p_hi","B.dyn_hi"] | (ignoring) | testpkg-1.2.3.4: cannot find any of ["C/D.hi","C/D.p_hi","C/D.dyn_hi"] | (ignoring) | -testpkg-1.2.3.4: cannot find any of | ["libtestpkg-1.2.3.4.a","libtestpkg-1.2.3.4.p_a","libtestpkg-1.2.3.4- | ghc7.7.20121025.so","libtestpkg-1.2.3.4-ghc7.7.20121025.dylib","testpkg- | 1.2.3.4-ghc7.7.20121025.dll"] | on library path (ignoring) | +testpkg-1.2.3.4: cannot find any of | ["libtestpkg-1.2.3.4.a","libtestpkg-1.2.3.4.p_a","libtestpkg-1.2.3.4- | ghc7.7.20121031.so","libtestpkg-1.2.3.4-ghc7.7.20121031.dylib","testpkg- | 1.2.3.4-ghc7.7.20121031.dll"] | on library path (ignoring) | *** unexpected failure for ghcpkg03(normal) | | --- ./cabal/ghcpkg05.stderr 2012-10-29 13:53:32.000000000 +0000 | +++ ./cabal/ghcpkg05.run.stderr 2012-10-31 12:18:56.738836856 +0000 | @@ -9,7 +9,7 @@ | cannot find any of ["B.hi","B.p_hi","B.dyn_hi"] | cannot find any of ["C/D.hi","C/D.p_hi","C/D.dyn_hi"] | cannot find any of ["C/E.hi","C/E.p_hi","C/E.dyn_hi"] | - cannot find any of | ["libtestpkg-2.0.a","libtestpkg-2.0.p_a","libtestpkg-2.0- | ghc7.7.20121025.so","libtestpkg-2.0-ghc7.7.20121025.dylib","testpkg-2.0- | ghc7.7.20121025.dll"] | on library path | + cannot find any of | ["libtestpkg-2.0.a","libtestpkg-2.0.p_a","libtestpkg-2.0- | ghc7.7.20121031.so","libtestpkg-2.0-ghc7.7.20121031.dylib","testpkg-2.0- | ghc7.7.20121031.dll"] | on library path | | The following packages are broken, either because they have a problem | listed above, or because they depend on a broken package. | *** unexpected failure for ghcpkg05(normal) | | | --- /dev/null 2012-09-24 09:11:13.204241107 +0100 | +++ ./ghci/scripts/T5130.run.stderr 2012-10-31 12:18:23.418758823 +0000 | @@ -0,0 +1,12 @@ | + | +<interactive>:3:35: | + Couldn't match expected type `a' with actual type `[Char]' | + `a' is a rigid type variable bound by | + the inferred type of f :: (a, a) -> [a] at <interactive>:3:5 | + Relevant bindings include | + f :: (a, a) -> [a] (bound at <interactive>:3:5) | + x :: a (bound at <interactive>:3:12) | + y :: a (bound at <interactive>:3:20) | + In the expression: "hi" | + In the expression: [x, "hi"] | + In the expression: (\ (x :: a, y :: a) -> [x, "hi"]) | *** unexpected failure for T5130(ghci) | | | _______________________________________________ | Cvs-ghc mailing list | Cvs-ghc@haskell.org | http://www.haskell.org/mailman/listinfo/cvs-ghc _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
