I've done a validate on my Mac. Here is the output (indented), with comments (outdented):
../../libraries/base/tests/IO hReady002 [bad stderr] (normal) Succeeded on a later run cabal/cabal01 cabal01 [bad exit code] (normal) Wrong exit code (expected 0 , actual 2 ) Stdout: install1: bin lib install2: bin lib Stderr: tar: --format: Cannot stat: No such file or directory tar: ustar: Cannot stat: No such file or directory tar: Error exit delayed from previous errors. make[2]: *** [cabal01] Error 1 *** unexpected failure for cabal01(normal) cabal/cabal06 cabal06 [bad stdout] (normal) Actual stdout output differs from expected: --- ./cabal06/cabal06.stdout 2014-11-03 13:23:21.000000000 -0500 +++ ./cabal06/cabal06.run.stdout 2014-11-03 20:00:56.000000000 -0500 @@ -1,7 +1,7 @@ Does the first instance of q depend on p-1.0? -1 + 1 Does the second instance of q depend on p-1.0? -1 + 1 Configuring r-1.0... Configuring r-1.0... 10 *** unexpected failure for cabal06(normal) driver/objc objc-hi [exit code non-0] (normal) driver/objc objcpp-hi [exit code non-0] (normal) driver/sigof02 sigof02dmt [bad stderr] (normal) These three are almost certainly not related to your work. indexed-types/should_compile PushedInAsGivens [stderr mismatch] (normal) Actual stderr output differs from expected: --- /dev/null 2014-11-03 20:06:19.000000000 -0500 +++ ./PushedInAsGivens.comp.stderr 2014-11-03 20:06:21.000000000 -0500 @@ -0,0 +1,27 @@ + +PushedInAsGivens.hs:10:31: + Couldn't match expected type ‘a1’ with actual type ‘a’ + because type variable ‘a1’ would escape its scope + This (rigid, skolem) type variable is bound by + the type signature for foo :: (F Int ~ [a1]) => a1 -> Int + at PushedInAsGivens.hs:9:20-44 + Relevant bindings include + x :: a1 (bound at PushedInAsGivens.hs:10:17) + foo :: a1 -> Int (bound at PushedInAsGivens.hs:10:13) + y :: a (bound at PushedInAsGivens.hs:9:5) + bar :: a -> (a, Int) (bound at PushedInAsGivens.hs:9:1) + In the expression: y + In the first argument of ‘length’, namely ‘[x, y]’ + +PushedInAsGivens.hs:11:15: + Couldn't match expected type ‘[a]’ with actual type ‘F Int’ + Relevant bindings include + y :: a (bound at PushedInAsGivens.hs:9:5) + bar :: a -> (a, Int) (bound at PushedInAsGivens.hs:9:1) + In the expression: foo y + In the expression: (y, foo y) + In the expression: + let + foo :: (F Int ~ [a]) => a -> Int + foo x = length [...] + in (y, foo y) *** unexpected failure for PushedInAsGivens(normal) llvm/should_compile T5486 [stderr mismatch] (optllvm) llvm/should_compile T5681 [stderr mismatch] (optllvm) llvm/should_compile T7571 [stderr mismatch] (optllvm) These seem to be some clang misconfiguration. perf/compiler T4801 [stat too good] (normal) perf/compiler T5631 [stat not good enough] (normal) rts T5435_dyn_asm [bad stdout] (normal) These three have been failing on and off for a while. safeHaskell/check/pkg01 safePkg01 [bad stdout] (normal) Edward addressed this one, I believe. So, it seems the one real hit is the one you were expecting -- that's good. Unfortunately, we also see that validation on a Mac doesn't work so well these days. My experience is that there's usually a few failing tests, but not nearly this many. Perhaps it's a sign of the success of the Travis/Harbormaster validation runs that folks aren't validating at home, lessening the pressure to keep clean validation on a variety of platforms. Anyway, I hope this is helpful. Richard On Nov 3, 2014, at 4:23 PM, "Edward Z. Yang" <[email protected]> wrote: > Excerpts from Simon Peyton Jones's message of 2014-11-03 09:28:49 -0800: >> * I get an odd wibble in safePk01, see this >> thread<https://www.haskell.org/pipermail/ghc-devs/2014-November/007065.html> >> with Edward > > Hello Simon, > > Here's what you should do for the safePkg01 wibble: > > 1. Apply the attached patch to your tree (this will > break the tests temporarily.) > > 2. Accept the new output for safePkg01 which no longer has > the package keys in it. > > 3. Remove the noramliseArrayPackageKey goop from all.T > > I could do the changes myself but it's your branch so I don't want to > touch it unduly. > > BTW, here is why your change removed the package keys: --show-iface > previously pretty-printed as if -dppr-debug was always on. You touched > this code so that --show-iface only prints in debug style if you > actually asked for -dppr-debug; this changed the output of these tests. > > Edward > <0001-Tweak-Safe-Haskell-test-to-show-iface-with-large-col.patch>_______________________________________________ > ghc-devs mailing list > [email protected] > http://www.haskell.org/mailman/listinfo/ghc-devs _______________________________________________ ghc-devs mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-devs
