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
