I think I'm implicated here though I believe I did push testsuite patches. I'll check tomorrow. Except that I'm out all day. Argh. Anyway don't worry about them. Sorry Simon | -----Original Message----- | From: ghc-devs-bounces@haskell.org [mailto:ghc-devs-bounces@haskell.org] On | Behalf Of Austin Seipp | Sent: 31 January 2013 22:20 | To: ghc-devs@haskell.org | Subject: Validate failures on OS X/amd64 | | Today, while running validate I encountered a handful of errors: | | VERALL SUMMARY for test run started at Thu Jan 31 15:58:15 CST 2013 | 3591 total tests, which gave rise to | 14298 test cases, of which | 4 caused framework failures | 11044 were skipped | | 3156 expected passes | 28 had missing libraries | 56 expected failures | 1 unexpected passes | 13 unexpected failures | | Unexpected passes: | ../../libraries/directory/tests T4113 (normal) | | Unexpected failures: | ../../libraries/base/tests qsemn001 [bad exit code] (normal) | codeGen/should_run cgrun071 [bad exit code] (normal) | concurrent/should_run T5611 [bad stdout] (normal) | perf/compiler T4801 [stat too good] (normal) | perf/haddock haddock.base [stat not good enough] (normal) | perf/should_run T5113 [stat not good enough] (normal) | simplCore/should_compile T3717 [stderr mismatch] (optasm) | simplCore/should_compile T4908 [stderr mismatch] (optasm) | simplCore/should_compile T7360 [stderr mismatch] (optasm) | simplCore/should_compile spec-inline [stderr mismatch] (optasm) | typecheck/should_compile holes [stderr mismatch] (normal) | typecheck/should_compile holes2 [stderr mismatch] (normal) | typecheck/should_compile holes3 [stderr mismatch] (normal) | | Most of these are benign. All the 'simplCore' tests are failures that | seem to be a result of the new demand analyzer, with tiny things like | this: | | --- ./simplCore/should_compile/spec-inline.stderr 2013-01-18 | 12:55:59.000000000 -0600 | +++ ./simplCore/should_compile/spec-inline.comp.stderr 2013-01-31 | 16:12:33.000000000 -0600 | @@ -116,7 +116,7 @@ | Roman.foo1 :: Data.Maybe.Maybe GHC.Types.Int | [GblId, | Caf=NoCafRefs, | - Str=DmdType, | + Str=DmdType m2, | Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=0, Value=True, | ConLike=True, WorkFree=True, Expandable=True, | Guidance=IF_ARGS [] 10 20}] | | | and: | | --- ./simplCore/should_compile/T3717.stderr 2013-01-18 12:55:59.000000000 | -0600 | +++ ./simplCore/should_compile/T3717.comp.stderr 2013-01-31 | 16:12:33.000000000 -0600 | @@ -22,13 +22,13 @@ | ConLike=True, WorkFree=True, Expandable=True, | Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False) | Tmpl= \ (w [Occ=Once!] :: GHC.Types.Int) -> | - case w of _ { GHC.Types.I# ww [Occ=Once] -> | - case T3717.$wfoo ww of ww1 { __DEFAULT -> GHC.Types.I# ww1 } | + case w of _ { GHC.Types.I# ww1 [Occ=Once] -> | + case T3717.$wfoo ww1 of ww2 { __DEFAULT -> GHC.Types.I# ww2 | } | | So these look like just minor output wibbles and otherwise fine changes. | | The 'holes' tests are failing because of an error message tweak. They | are all of the form: | | holes3.hs:15:15: | - Found hole `_' with type b0 | + Found hole `_' with type: b0 | | so these are an easy fix too. | | Did someone forget to push testsuite patches? I can at least fix the | TypeHoles tests since they're so trivial, and the demand analyzer | changes look benign too, but I just wanted to make sure these are OK | and I'm not stepping on toes if I were to do that. | | I'm investigating the others at the moment, these were just the easy ones I saw. | | -- | Regards, | Austin | | _______________________________________________ | ghc-devs mailing list | ghc-devs@haskell.org | http://www.haskell.org/mailman/listinfo/ghc-devs