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)