Validate failures on OS X/amd64

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

Validate failures on OS X/amd64

Austin Seipp
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


Reply | Threaded
Open this post in threaded view
|

Validate failures on OS X/amd64

Simon Peyton Jones
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 at haskell.org [mailto:ghc-devs-bounces at haskell.org] On
|  Behalf Of Austin Seipp
|  Sent: 31 January 2013 22:20
|  To: ghc-devs at 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 at haskell.org
|  http://www.haskell.org/mailman/listinfo/ghc-devs