Validate failures on OS X/amd64

Austin Seipp at
Thu Jan 31 23:20:14 CET 2013

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

--- ./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
- 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}]


--- ./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,
          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:

-    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.


More information about the ghc-devs mailing list