I think that's all mine. arrowfail001 fails with stage=1 (with an ASSERT error, and it *is* wrong)
Simoin | -----Original Message----- | From: cvs-ghc-boun...@haskell.org [mailto:cvs-ghc-boun...@haskell.org] | On Behalf Of Simon Peyton-Jones | Sent: 31 October 2012 16:19 | To: Simon Marlow; GHC CVS list | Subject: RE: Validate failures of the day | | 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","testpk | | g- | | 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","testpk | | g- | | 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 _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
