Re: Validate failures of the day
On Wed, Oct 31, 2012 at 04:22:03PM +, Simon Peyton-Jones wrote: I think that's all mine. arrowfail001 fails with stage=1 (with an ASSERT error, and it *is* wrong) I think it'll only fail with a DEBUG compiler. I've updated the test accordingly. Thanks Ian ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
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.stderr2012-10-31 11:21:51.0 + +++ ./typecheck/should_fail/T5691.comp.stderr 2012-10-31 12:17:02.102562238 + @@ -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.stderr2012-10-31 11:21:51.0 + +++ ./typecheck/should_fail/T7264.comp.stderr 2012-10-31 12:17:02.670563611 + @@ -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.0 + +++ ./cabal/ghcpkg03.run.stderr 2012-10-31 12:18:56.230835671 + @@ -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.0 + +++ ./cabal/ghcpkg05.run.stderr 2012-10-31 12:18:56.738836856 + @@ -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 + @@ -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
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.0 | + | +++ ./typecheck/should_fail/T5691.comp.stderr 2012-10-31 | 12:17:02.102562238 + | @@ -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.0 | + | +++ ./typecheck/should_fail/T7264.comp.stderr 2012-10-31 | 12:17:02.670563611 + | @@ -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.0 + | +++ ./cabal/ghcpkg03.run.stderr 2012-10-31 12:18:56.230835671 + | @@ -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.0 + | +++ ./cabal/ghcpkg05.run.stderr 2012-10-31 12:18:56.738836856 + | @@ -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 + | @@ -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
RE: Validate failures of the day
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.stderr2012-10-31 11:21:51.0 | | + | | +++ ./typecheck/should_fail/T5691.comp.stderr 2012-10-31 | | 12:17:02.102562238 + | | @@ -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.stderr2012-10-31 11:21:51.0 | | + | | +++ ./typecheck/should_fail/T7264.comp.stderr 2012-10-31 | | 12:17:02.670563611 + | | @@ -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.0 + | | +++ ./cabal/ghcpkg03.run.stderr 2012-10-31 12:18:56.230835671 + | | @@ -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.0 + | | +++ ./cabal/ghcpkg05.run.stderr 2012-10-31 12:18:56.738836856 + | | @@ -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