validate --slow bugs (was Re: Status updates)

[Sergei Trofimovich]

On Wed, 3 Sep 2014 15:31:03 -0500
Austin Seipp <austin at well-typed.com> wrote:

> Hi *,
> 
> Here are some status updates for the past week, which have been a bit light.

Woot! Great list!

>  - I still think we should turn on --slow mode for our buildbots soon,
> but this will cause noise. I'd really like some inputs on this - maybe
> someone would like to help clean up the 'slow' vaildate failures?
> Bonus points for this, since you don't even have to

That's a great goal, but --slow enables compiler debug assertions,
which seem to trigger real errors (full log of failures attached).

I've filled tickets for some of those assertion failures.
If someone more experienced in the area could guide us
hints on how to fix them (CCed Simon PJ).

If they all are non-issues please tell and I'll drop them.

If they are real bugs I can try to debug them a bit
and gather more info (maybe something specific is of interest?).

Highlights:

    *** unexpected failure for T3500b(threaded2)
    =====> T3500b(dyn) 3766 of 4100 [0, 12, 0] 
    cd ./typecheck/should_run && '/home/slyfox/dev/git/ghc-validate/bindisttest/install   dir/bin/ghc' -fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output -no-user-package-db -rtsopts -fno-ghci-history -o T3500b T3500b.hs -O -dynamic   >T3500b.comp.stderr 2>&1
    Compile failed (status 256) errors were:
    [1 of 1] Compiling Main             ( T3500b.hs, T3500b.o )
    ghc: panic! (the 'impossible' happened)
      (GHC version 7.9.20140905 for x86_64-unknown-linux):
            Simplifier ticks exhausted
        When trying RuleFired foldr/augment
        To increase the limit, use -fsimpl-tick-factor=N (default 100)
        If you need to do this, let GHC HQ know, and what factor you needed
        To see detailed counts use -ddump-simpl-stats
        Total ticks: 12441

  Is it bad?

    cd ./ghc-api && $MAKE -s --no-print-directory T8628    </dev/null >T8628.run.stdout 2>T8628.run.stderr
    Actual stderr output differs from expected:
    --- /dev/null   2014-08-25 09:46:54.593424088 +0300
    +++ ./ghc-api/T8628.run.stderr  2014-09-05 22:49:20.705589132 +0300
    @@ -0,0 +1,4 @@
    +WARNING: file compiler/simplCore/SimplEnv.lhs, line 539
    +    Ghci3.$fShowX
    +WARNING: file compiler/simplCore/SimplEnv.lhs, line 539
    +    Ghci3.$fShowX
    *** unexpected failure for T8628(normal)

  This looks nasty.

    =====> tc124(hpc) 3135 of 4100 [0, 3, 0] 
    cd ./typecheck/should_compile && '/home/slyfox/dev/git/ghc-validate/bindisttest/install   dir/bin/ghc' -fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output -no-user-package-db -rtsopts -fno-ghci-history -c tc124.hs -O -fhpc -hpcdir .hpc.tc124  -fno-warn-incomplete-patterns >tc124.comp.stderr 2>&1
    Compile failed (status 256) errors were:
    *** Core Lint errors : in result of Simplifier ***
    <no location info>: Warning:
        In the type ‘a_12 -> a_aia -> a_aia’
        @ a_12 is out of scope
    *** Offending Program ***
    Foo.f :: Foo.T -> (GHC.Types.Int, GHC.Types.Char)
    [LclIdX,
     Arity=1,
     Str=DmdType,
     Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
             WorkFree=True, Expandable=True, Guidance=IF_ARGS [20] 90 30}]
     ....

  This also looks scary.

Thanks!

-- 

  Sergei
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: validate-slow.txt
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20140905/5ca5967c/attachment-0001.txt>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 181 bytes
Desc: not available
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20140905/5ca5967c/attachment-0001.sig>