On Wed, 3 Sep 2014 15:31:03 -0500 Austin Seipp <[email protected]> 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
make -C testsuite/tests CLEANUP=1 OUTPUT_SUMMARY=../../testsuite_summary.txt
make[1]: ÐÑ
од в каÑалог
`/home/slyfox/dev/git/ghc-validate/testsuite/tests'
python2 ../driver/runtests.py -e ghc_compiler_always_flags="'-fforce-recomp
-dcore-lint -dcmm-lint -dno-debug-output -no-user-package-db -rtsopts '" -e
ghc_debugged=True -e ghc_with_native_codegen=1 -e ghc_with_vanilla=1 -e
ghc_with_dynamic=1 -e ghc_with_profiling=0 -e ghc_with_threaded_rts=1 -e
ghc_with_dynamic_rts=1 -e ghc_with_interpreter=1 -e ghc_unregisterised=0 -e
ghc_dynamic_by_default=False -e ghc_dynamic=True -e ghc_with_smp=1 -e
ghc_with_llvm=1 -e windows=False -e darwin=False -e in_tree_compiler=True -e
clean_only=False --rootdir=. --config=../config/ghc -e
'config.confdir="../config"' -e
'config.compiler="/home/slyfox/dev/git/ghc-validate/bindisttest/install
dir/bin/ghc"' -e
'config.ghc_pkg="/home/slyfox/dev/git/ghc-validate/bindisttest/install
dir/bin/ghc-pkg"' -e
'config.hp2ps="/home/slyfox/dev/git/ghc-validate/bindisttest/install
dir/bin/hp2ps"' -e
'config.hpc="/home/slyfox/dev/git/ghc-validate/bindisttest/install
dir/bin/hpc"' -e 'config.gs="gs"' -e 'config.platform="x86_64-unknown-linux"'
-e 'config.os="linux"' -e 'config.arch="x86_64"' -e 'config.wordsize="64"' -e
'default_testopts.cleanup="1"' -e 'config.timeout=int() or config.timeout' -e
'config.timeout_prog="../timeout/install-inplace/bin/timeout"' -e
'config.exeext=""' -e
'config.top="/home/slyfox/dev/git/ghc-validate/testsuite"' --output-summary
"../../testsuite_summary.txt" --rootdir=../../libraries/array/tests
--rootdir=../../libraries/base/tests --rootdir=../../libraries/binary/tests
--rootdir=../../libraries/bytestring/tests
--rootdir=../../libraries/containers/tests
--rootdir=../../libraries/directory/tests
--rootdir=../../libraries/filepath/tests
--rootdir=../../libraries/ghc-prim/tests
--rootdir=../../libraries/haskeline/tests --rootdir=../../libraries/hpc/tests
--rootdir=../../libraries/old-time/tests
--rootdir=../../libraries/parallel/tests
--rootdir=../../libraries/pretty/tests --rootdir=../../libraries/process/tests
--rootdir=../../libraries/stm/tests
--rootdir=../../libraries/template-haskell/tests
--rootdir=../../libraries/unix/tests
--rootdir=../../libraries/containers/tests-ghc \
--only=T3500b --only=faxen --only=T7891 --only=tc124
--only=ghci044 --only=ghci047 --only=posix002 --only=T8628 --only=T5594 \
\
\
\
\
\
Timeout is 300
Found 269 .T files...
Beginning test run at Fri Sep 5 22:49:11 2014 FET
====> Scanning ./annotations/should_compile/all.T
====> Scanning ./annotations/should_compile/th/all.T
====> Scanning ./annotations/should_fail/all.T
====> Scanning ./annotations/should_run/all.T
====> Scanning ./array/should_run/all.T
====> Scanning ./arrows/should_compile/all.T
====> Scanning ./arrows/should_fail/all.T
====> Scanning ./arrows/should_run/all.T
====> Scanning ./boxy/all.T
====> Scanning ./cabal/all.T
====> Scanning ./cabal/cabal01/all.T
====> Scanning ./cabal/cabal03/all.T
====> Scanning ./cabal/cabal04/all.T
====> Scanning ./cabal/cabal05/all.T
====> Scanning ./cabal/cabal06/all.T
====> Scanning ./cabal/pkg02/all.T
====> Scanning ./callarity/perf/all.T
====> Scanning ./callarity/should_run/all.T
====> Scanning ./callarity/unittest/all.T
====> Scanning ./codeGen/should_compile/all.T
====> Scanning ./codeGen/should_gen_asm/all.T
====> Scanning ./codeGen/should_run/all.T
====> Scanning ./concurrent/T2317/all.T
====> Scanning ./concurrent/prog001/all.T
====> Scanning ./concurrent/prog002/all.T
====> Scanning ./concurrent/prog003/all.T
====> Scanning ./concurrent/should_run/all.T
====> Scanning ./cpranal/should_compile/all.T
====> Scanning ./cpranal/should_run/all.T
====> Scanning ./cps/all.T
====> Scanning ./deSugar/should_compile/all.T
====> Scanning ./deSugar/should_run/all.T
====> Scanning ./deriving/should_compile/all.T
====> Scanning ./deriving/should_fail/all.T
====> Scanning ./deriving/should_run/all.T
====> Scanning ./dph/classes/dph-classes.T
====> Scanning ./dph/diophantine/dph-diophantine.T
====> Scanning ./dph/dotp/dph-dotp.T
====> Scanning ./dph/enumfromto/dph-enumfromto.T
====> Scanning ./dph/modules/dph-modules.T
====> Scanning ./dph/nbody/dph-nbody.T
====> Scanning ./dph/primespj/dph-primespj.T
====> Scanning ./dph/quickhull/dph-quickhull.T
====> Scanning ./dph/smvm/dph-smvm.T
====> Scanning ./dph/sumnats/dph-sumnats.T
====> Scanning ./dph/words/dph-words.T
====> Scanning ./driver/T1372/all.T
====> Scanning ./driver/T1959/test.T
====> Scanning ./driver/T3007/all.T
====> Scanning ./driver/T437/all.T
====> Scanning ./driver/T5147/all.T
====> Scanning ./driver/T7373/all.T
====> Scanning ./driver/T7835/all.T
====> Scanning ./driver/T8184/all.T
====> Scanning ./driver/T8526/T8526.T
====> Scanning ./driver/T8602/T8602.T
====> Scanning ./driver/all.T
====> Scanning ./driver/bug1677/all.T
====> Scanning ./driver/conflicting_flags/test.T
====> Scanning ./driver/dynamicToo/all.T
====> Scanning ./driver/dynamicToo/dynamicToo001/test.T
====> Scanning ./driver/dynamicToo/dynamicToo002/test.T
====> Scanning ./driver/dynamicToo/dynamicToo004/test.T
====> Scanning ./driver/dynamic_flags_001/all.T
====> Scanning ./driver/dynamic_flags_002/all.T
====> Scanning ./driver/objc/all.T
====> Scanning ./driver/recomp001/all.T
====> Scanning ./driver/recomp002/all.T
====> Scanning ./driver/recomp003/all.T
====> Scanning ./driver/recomp004/all.T
====> Scanning ./driver/recomp005/all.T
====> Scanning ./driver/recomp006/all.T
====> Scanning ./driver/recomp007/all.T
====> Scanning ./driver/recomp008/all.T
====> Scanning ./driver/recomp009/all.T
====> Scanning ./driver/recomp010/all.T
====> Scanning ./driver/recomp011/all.T
====> Scanning ./driver/recomp012/all.T
====> Scanning ./driver/recomp013/all.T
====> Scanning ./dynlibs/all.T
====> Scanning ./esc/all.T
====> Scanning ./ffi/should_compile/all.T
====> Scanning ./ffi/should_fail/all.T
====> Scanning ./ffi/should_run/all.T
====> Scanning ./gadt/all.T
====> Scanning ./generics/GEq/test.T
====> Scanning ./generics/GFunctor/test.T
====> Scanning ./generics/GMap/test.T
====> Scanning ./generics/GShow/test.T
====> Scanning ./generics/Uniplate/test.T
====> Scanning ./generics/all.T
====> Scanning ./ghc-api/T4891/all.T
====> Scanning ./ghc-api/T7478/all.T
====> Scanning ./ghc-api/apirecomp001/all.T
====> Scanning ./ghc-api/dynCompileExpr/all.T
====> Scanning ./ghc-api/all.T
====> Scanning ./ghc-e/should_fail/all.T
====> Scanning ./ghc-e/should_run/all.T
====> Scanning ./ghci.debugger/scripts/break022/all.T
====> Scanning ./ghci.debugger/scripts/break023/all.T
====> Scanning ./ghci.debugger/scripts/all.T
====> Scanning ./ghci/linking/all.T
====> Scanning ./ghci/prog001/prog001.T
====> Scanning ./ghci/prog002/prog002.T
====> Scanning ./ghci/prog003/prog003.T
====> Scanning ./ghci/prog004/prog004.T
====> Scanning ./ghci/prog005/prog005.T
====> Scanning ./ghci/prog006/prog006.T
====> Scanning ./ghci/prog007/prog007.T
====> Scanning ./ghci/prog008/prog008.T
====> Scanning ./ghci/prog009/ghci.prog009.T
====> Scanning ./ghci/prog011/prog011.T
====> Scanning ./ghci/prog012/all.T
====> Scanning ./ghci/prog013/prog013.T
====> Scanning ./ghci/scripts/all.T
====> Scanning ./ghci/should_run/all.T
====> Scanning ./haddock/haddock_examples/test.T
====> Scanning ./haddock/should_compile_flag_haddock/all.T
====> Scanning ./haddock/should_compile_flag_nohaddock/all.T
====> Scanning ./haddock/should_compile_noflag_haddock/all.T
====> Scanning ./haddock/should_compile_noflag_nohaddock/all.T
====> Scanning ./haddock/should_fail_flag_haddock/all.T
====> Scanning ./hsc2hs/all.T
====> Scanning ./indexed-types/should_compile/all.T
====> Scanning ./indexed-types/should_fail/all.T
====> Scanning ./indexed-types/should_run/all.T
====> Scanning ./layout/all.T
====> Scanning ./lib/integer/all.T
====> Scanning ./llvm/should_compile/all.T
====> Scanning ./mdo/should_compile/all.T
====> Scanning ./mdo/should_fail/all.T
====> Scanning ./mdo/should_run/all.T
====> Scanning ./module/all.T
====> Scanning ./module/base01/all.T
====> Scanning ./module/mod175/all.T
====> Scanning ./numeric/should_compile/all.T
====> Scanning ./numeric/should_run/all.T
====> Scanning ./overloadedlists/should_fail/all.T
====> Scanning ./overloadedlists/should_run/all.T
====> Scanning ./package/all.T
====> Scanning ./parser/prog001/test.T
====> Scanning ./parser/should_compile/T7476/all.T
====> Scanning ./parser/should_compile/all.T
====> Scanning ./parser/should_fail/all.T
====> Scanning ./parser/should_run/all.T
====> Scanning ./parser/unicode/all.T
====> Scanning ./patsyn/should_compile/all.T
====> Scanning ./patsyn/should_fail/all.T
====> Scanning ./patsyn/should_run/all.T
====> Scanning ./perf/compiler/all.T
====> Scanning ./perf/haddock/all.T
====> Scanning ./perf/should_run/all.T
====> Scanning ./perf/space_leaks/all.T
====> Scanning ./plugins/all.T
====> Scanning ./polykinds/all.T
====> Scanning ./primops/should_compile/all.T
====> Scanning ./primops/should_run/all.T
====> Scanning ./profiling/should_compile/all.T
====> Scanning ./profiling/should_fail/all.T
====> Scanning ./profiling/should_run/all.T
====> Scanning ./programs/10queens/test.T
====> Scanning ./programs/Queens/test.T
====> Scanning ./programs/andre_monad/test.T
====> Scanning ./programs/andy_cherry/test.T
====> Scanning ./programs/barton-mangler-bug/test.T
====> Scanning ./programs/cholewo-eval/test.T
====> Scanning ./programs/cvh_unboxing/test.T
====> Scanning ./programs/fast2haskell/test.T
====> Scanning ./programs/fun_insts/test.T
====> Scanning ./programs/galois_raytrace/test.T
====> Scanning ./programs/hs-boot/all.T
====> Scanning ./programs/jl_defaults/test.T
====> Scanning ./programs/joao-circular/test.T
====> Scanning ./programs/jq_readsPrec/test.T
====> Scanning ./programs/jtod_circint/test.T
====> Scanning ./programs/jules_xref/test.T
====> Scanning ./programs/jules_xref2/test.T
====> Scanning ./programs/launchbury/test.T
====> Scanning ./programs/lennart_range/test.T
====> Scanning ./programs/lex/test.T
====> Scanning ./programs/life_space_leak/test.T
====> Scanning ./programs/maessen-hashtab/test.T
====> Scanning ./programs/north_array/test.T
====> Scanning ./programs/okeefe_neural/test.T
====> Scanning ./programs/record_upd/test.T
====> Scanning ./programs/rittri/test.T
====> Scanning ./programs/sanders_array/test.T
====> Scanning ./programs/seward-space-leak/test.T
====> Scanning ./programs/strict_anns/test.T
====> Scanning ./programs/thurston-modular-arith/test.T
====> Scanning ./quasiquotation/T4491/test.T
====> Scanning ./quasiquotation/all.T
====> Scanning ./quasiquotation/qq001/test.T
====> Scanning ./quasiquotation/qq002/test.T
====> Scanning ./quasiquotation/qq003/test.T
====> Scanning ./quasiquotation/qq004/test.T
====> Scanning ./quasiquotation/qq005/test.T
====> Scanning ./quasiquotation/qq006/test.T
====> Scanning ./quasiquotation/qq007/test.T
====> Scanning ./quasiquotation/qq008/test.T
====> Scanning ./rebindable/all.T
====> Scanning ./rename/prog001/test.T
====> Scanning ./rename/prog002/test.T
====> Scanning ./rename/prog003/test.T
====> Scanning ./rename/prog004/test.T
====> Scanning ./rename/prog005/test.T
====> Scanning ./rename/prog006/all.T
====> Scanning ./rename/should_compile/T3103/test.T
====> Scanning ./rename/should_compile/all.T
====> Scanning ./rename/should_fail/all.T
====> Scanning ./roles/should_compile/all.T
====> Scanning ./roles/should_fail/all.T
====> Scanning ./rts/T5644/all.T
====> Scanning ./rts/all.T
====> Scanning ./runghc/all.T
====> Scanning ./safeHaskell/check/all.T
====> Scanning ./safeHaskell/check/pkg01/all.T
====> Scanning ./safeHaskell/flags/all.T
====> Scanning ./safeHaskell/ghci/all.T
====> Scanning ./safeHaskell/safeInfered/all.T
====> Scanning ./safeHaskell/safeLanguage/all.T
====> Scanning ./safeHaskell/unsafeLibs/all.T
====> Scanning ./simplCore/prog001/test.T
====> Scanning ./simplCore/prog002/test.T
====> Scanning ./simplCore/should_compile/all.T
====> Scanning ./simplCore/should_run/all.T
====> Scanning ./stranal/should_compile/all.T
====> Scanning ./stranal/should_run/T8425/all.T
====> Scanning ./stranal/should_run/all.T
====> Scanning ./stranal/sigs/all.T
====> Scanning ./th/T2014/all.T
====> Scanning ./th/TH_import_loop/TH_import_loop.T
====> Scanning ./th/TH_spliceViewPat/test.T
====> Scanning ./th/all.T
====> Scanning ./typecheck/bug1465/all.T
====> Scanning ./typecheck/prog001/test.T
====> Scanning ./typecheck/prog002/test.T
====> Scanning ./typecheck/should_compile/all.T
====> Scanning ./typecheck/should_fail/all.T
====> Scanning ./typecheck/should_run/all.T
====> Scanning ./typecheck/testeq1/test.T
====> Scanning ./warnings/minimal/all.T
====> Scanning ./warnings/should_compile/all.T
====> Scanning ../../libraries/array/tests/all.T
====> Scanning ../../libraries/base/tests/Concurrent/all.T
====> Scanning ../../libraries/base/tests/IO/all.T
====> Scanning ../../libraries/base/tests/Numeric/all.T
====> Scanning ../../libraries/base/tests/System/all.T
====> Scanning ../../libraries/base/tests/Text.Printf/all.T
====> Scanning ../../libraries/base/tests/all.T
====> Scanning ../../libraries/directory/tests/all.T
====> Scanning ../../libraries/filepath/tests/all.T
====> Scanning ../../libraries/hpc/tests/fork/test.T
====> Scanning ../../libraries/hpc/tests/function/test.T
====> Scanning ../../libraries/hpc/tests/function2/test.T
====> Scanning ../../libraries/hpc/tests/ghc_ghci/test.T
====> Scanning ../../libraries/hpc/tests/raytrace/test.T
====> Scanning ../../libraries/hpc/tests/raytrace/tixs/test.T
====> Scanning ../../libraries/hpc/tests/simple/test.T
====> Scanning ../../libraries/hpc/tests/simple/tixs/test.T
====> Scanning ../../libraries/old-time/tests/all.T
====> Scanning ../../libraries/parallel/tests/all.T
====> Scanning ../../libraries/pretty/tests/all.T
====> Scanning ../../libraries/process/tests/all.T
====> Scanning ../../libraries/stm/tests/all.T
====> Scanning ../../libraries/template-haskell/tests/all.T
====> Scanning ../../libraries/unix/tests/all.T
====> Scanning ../../libraries/unix/tests/libposix/all.T
====> Scanning ../../libraries/containers/tests-ghc/all.T
=====> T5594(normal) 805 of 4100 [0, 0, 0]
cd ./ffi/should_run && $MAKE -s --no-print-directory T5594_setup
cd ./ffi/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 T5594 T5594.hs T5594_c.c
-no-hs-main >T5594.comp.stderr 2>&1
cd ./ffi/should_run && ./T5594 </dev/null >T5594.run.stdout
2>T5594.run.stderr
=====> T5594(hpc) 805 of 4100 [0, 0, 0]
cd ./ffi/should_run && $MAKE -s --no-print-directory T5594_setup
cd ./ffi/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 T5594 T5594.hs -O -fhpc
-hpcdir .hpc.T5594 T5594_c.c -no-hs-main >T5594.comp.stderr 2>&1
cd ./ffi/should_run && ./T5594 </dev/null >T5594.run.stdout
2>T5594.run.stderr
=====> T5594(optasm) 805 of 4100 [0, 0, 0]
cd ./ffi/should_run && $MAKE -s --no-print-directory T5594_setup
cd ./ffi/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 T5594 T5594.hs -O -fasm
T5594_c.c -no-hs-main >T5594.comp.stderr 2>&1
cd ./ffi/should_run && ./T5594 </dev/null >T5594.run.stdout
2>T5594.run.stderr
=====> T5594(threaded1) 805 of 4100 [0, 0, 0]
cd ./ffi/should_run && $MAKE -s --no-print-directory T5594_setup
cd ./ffi/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 T5594 T5594.hs -threaded
-debug T5594_c.c -no-hs-main >T5594.comp.stderr 2>&1
cd ./ffi/should_run && ./T5594 </dev/null >T5594.run.stdout
2>T5594.run.stderr
=====> T5594(threaded2) 805 of 4100 [0, 0, 0]
cd ./ffi/should_run && $MAKE -s --no-print-directory T5594_setup
cd ./ffi/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 T5594 T5594.hs -O -threaded
-eventlog T5594_c.c -no-hs-main >T5594.comp.stderr 2>&1
cd ./ffi/should_run && ./T5594 +RTS -N2 -ls -RTS </dev/null >T5594.run.stdout
2>T5594.run.stderr
=====> T5594(dyn) 805 of 4100 [0, 0, 0]
cd ./ffi/should_run && $MAKE -s --no-print-directory T5594_setup
cd ./ffi/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 T5594 T5594.hs -O -dynamic
T5594_c.c -no-hs-main >T5594.comp.stderr 2>&1
cd ./ffi/should_run && ./T5594 </dev/null >T5594.run.stdout
2>T5594.run.stderr
=====> T5594(optllvm) 805 of 4100 [0, 0, 0]
cd ./ffi/should_run && $MAKE -s --no-print-directory T5594_setup
cd ./ffi/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 T5594 T5594.hs -O -fllvm
T5594_c.c -no-hs-main >T5594.comp.stderr 2>&1
cd ./ffi/should_run && ./T5594 </dev/null >T5594.run.stdout
2>T5594.run.stderr
=====> T8628(normal) 925 of 4100 [0, 0, 0]
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)
=====> ghci044(ghci) 1077 of 4100 [0, 1, 0]
cd ./ghci/scripts && HC='/home/slyfox/dev/git/ghc-validate/bindisttest/install
dir/bin/ghc' HC_OPTS='-dcore-lint -dcmm-lint -dno-debug-output
-no-user-package-db -rtsopts -fno-ghci-history '
'/home/slyfox/dev/git/ghc-validate/bindisttest/install dir/bin/ghc'
--interactive -v0 -ignore-dot-ghci -dcore-lint -dcmm-lint -dno-debug-output
-no-user-package-db -rtsopts -fno-ghci-history <ghci044.script
>ghci044.run.stdout 2>ghci044.run.stderr
Actual stderr output differs from expected:
--- ./ghci/scripts/ghci044.stderr 2014-08-07 23:48:40.031668970 +0300
+++ ./ghci/scripts/ghci044.run.stderr 2014-09-05 22:49:20.875588967 +0300
@@ -6,3 +6,12 @@
instance C a => C [a] -- Defined at <interactive>:8:10
In the expression: f [4 :: Int]
In an equation for âitâ: it = f [4 :: Int]
+*** Exception: ASSERT failed! file compiler/ghci/Linker.lhs, line 900
+*** Exception: ASSERT failed! file compiler/ghci/Linker.lhs, line 900
+*** Exception: ASSERT failed! file compiler/ghci/Linker.lhs, line 900
+*** Exception: ASSERT failed! file compiler/ghci/Linker.lhs, line 900
+
+<interactive>:15:1:
+ No instance for (C Bool) arising from a use of âfâ
+ In the expression: f [True]
+ In an equation for âitâ: it = f [True]
Actual stdout output differs from expected:
--- ./ghci/scripts/ghci044.stdout 2014-08-07 23:48:40.032668970 +0300
+++ ./ghci/scripts/ghci044.run.stdout 2014-09-05 22:49:20.859588983 +0300
@@ -1,4 +1 @@
"First"
-"First"
-"First"
-"Fourth"
*** unexpected failure for ghci044(ghci)
=====> ghci047(ghci) 1081 of 4100 [0, 2, 0]
cd ./ghci/scripts && HC='/home/slyfox/dev/git/ghc-validate/bindisttest/install
dir/bin/ghc' HC_OPTS='-dcore-lint -dcmm-lint -dno-debug-output
-no-user-package-db -rtsopts -fno-ghci-history '
'/home/slyfox/dev/git/ghc-validate/bindisttest/install dir/bin/ghc'
--interactive -v0 -ignore-dot-ghci -dcore-lint -dcmm-lint -dno-debug-output
-no-user-package-db -rtsopts -fno-ghci-history <ghci047.script
>ghci047.run.stdout 2>ghci047.run.stderr
Actual stderr output differs from expected:
--- ./ghci/scripts/ghci047.stderr 2014-08-07 23:48:40.032668970 +0300
+++ ./ghci/scripts/ghci047.run.stderr 2014-09-05 22:49:21.004588842 +0300
@@ -1,16 +1,14 @@
+*** Exception: ASSERT failed! file compiler/ghci/Linker.lhs, line 900
+*** Exception: ASSERT failed! file compiler/ghci/Linker.lhs, line 900
-<interactive>:38:1:
- Couldn't match type âHFalseâ with âHTrueâ
- Expected type: HTrue
- Actual type: Or HFalse HFalse
- In the expression: f
- In the expression: f $ Baz 'a'
- In an equation for âitâ: it = f $ Baz 'a'
-
-<interactive>:39:1:
- Couldn't match type âHFalseâ with âHTrueâ
- Expected type: HTrue
- Actual type: Or HFalse HFalse
- In the expression: f
- In the expression: f $ Quz
- In an equation for âitâ: it = f $ Quz
+<interactive>:36:1: Not in scope: âfâ
+
+<interactive>:37:1: Not in scope: âfâ
+
+<interactive>:38:1: Not in scope: âfâ
+
+<interactive>:39:1: Not in scope: âfâ
+
+<interactive>:40:1: Not in scope: âfâ
+
+<interactive>:41:1: Not in scope: âfâ
Actual stdout output differs from expected:
--- ./ghci/scripts/ghci047.stdout 2014-08-07 23:48:40.032668970 +0300
+++ ./ghci/scripts/ghci047.run.stdout 2014-09-05 22:49:20.911588932 +0300
@@ -1,4 +0,0 @@
-1
-1
-1
-1
*** unexpected failure for ghci047(ghci)
=====> tc124(normal) 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 -fno-warn-incomplete-patterns
>tc124.comp.stderr 2>&1
=====> 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}]
Foo.f =
\ (t_ahp :: Foo.T) ->
let {
my_t1_ahq :: forall a_ahc. a_ahc -> a_ahc
[LclId,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 10 0}]
my_t1_ahq =
\ (@ a_aia) ->
(tick<main@main:Foo,5>
case t_ahp of _ [Occ=Dead] { Foo.T ds_dlG ds_dlH -> ds_dlG })
@ a_aia } in
tick<main@main:Foo,11>
tick<main@main:Foo,10>
(tick<main@main:Foo,7>
my_t1_ahq @ GHC.Types.Int (tick<main@main:Foo,6> GHC.Types.I# 3),
tick<main@main:Foo,9>
my_t1_ahq
@ GHC.Types.Char (tick<main@main:Foo,8> GHC.Types.C# 'c'))
Foo.g :: Foo.T -> Foo.T
[LclIdX,
Arity=1,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [20] 40 30}]
Foo.g =
\ (t_ahr :: Foo.T) ->
tick<main@main:Foo,4>
tick<main@main:Foo,3>
tick<main@main:Foo,0>
case t_ahr of _ [Occ=Dead] { Foo.T ds_dlB ds_dlC ->
Foo.T
ds_dlB
(\ (@ a_ai4) (@ b_ai5) ->
tick<main@main:Foo,2>
\ _ [Occ=Dead] (y_aht :: b_ai5) -> tick<main@main:Foo,1> y_aht)
}
Foo.t1 :: forall a_ahc. Foo.T -> a_ahc -> a_ahc
[LclIdX[[RecSel]],
Arity=1,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=True)}]
Foo.t1 =
\ (@ a_ahS) (ds_dlI :: Foo.T) ->
tick<main@main:Foo,13>
case ds_dlI of _ [Occ=Dead] { Foo.T ds_dlJ ds_dlK ->
(tick<main@main:Foo,12> ds_dlJ) @ a_ahS
}
Foo.t2 :: forall a_ahd b_ahe. Foo.T -> a_ahd -> b_ahe -> b_ahe
[LclIdX[[RecSel]],
Arity=1,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=True)}]
Foo.t2 =
\ (@ a_ahT) (@ b_ahU) (ds_dlL :: Foo.T) ->
tick<main@main:Foo,15>
case ds_dlL of _ [Occ=Dead] { Foo.T ds_dlM ds_dlN ->
(tick<main@main:Foo,14> ds_dlN) @ a_ahT @ b_ahU
}
*** End of Offense ***
<no location info>:
Compilation had errors
*** unexpected failure for tc124(hpc)
=====> tc124(optasm) 3135 of 4100 [0, 4, 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 -fasm -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}]
Foo.f =
\ (t_ahp :: Foo.T) ->
let {
my_t1_ahq :: forall a_ahc. a_ahc -> a_ahc
[LclId,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=False, ConLike=False,
WorkFree=True, Expandable=False, Guidance=IF_ARGS [] 10 0}]
my_t1_ahq =
\ (@ a_aia) ->
(case t_ahp of _ [Occ=Dead] { Foo.T ds_dlG ds_dlH -> ds_dlG })
@ a_aia } in
(my_t1_ahq @ GHC.Types.Int (GHC.Types.I# 3),
my_t1_ahq @ GHC.Types.Char (GHC.Types.C# 'c'))
Foo.g :: Foo.T -> Foo.T
[LclIdX,
Arity=1,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [20] 40 30}]
Foo.g =
\ (t_ahr :: Foo.T) ->
case t_ahr of _ [Occ=Dead] { Foo.T ds_dlB ds_dlC ->
Foo.T
ds_dlB
(\ (@ a_ai4) (@ b_ai5) _ [Occ=Dead] (y_aht :: b_ai5) -> y_aht)
}
Foo.t1 :: forall a_ahc. Foo.T -> a_ahc -> a_ahc
[LclIdX[[RecSel]],
Arity=1,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=True)}]
Foo.t1 =
\ (@ a_ahS) (ds_dlI :: Foo.T) ->
case ds_dlI of _ [Occ=Dead] { Foo.T ds_dlJ ds_dlK ->
ds_dlJ @ a_ahS
}
Foo.t2 :: forall a_ahd b_ahe. Foo.T -> a_ahd -> b_ahe -> b_ahe
[LclIdX[[RecSel]],
Arity=1,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=True)}]
Foo.t2 =
\ (@ a_ahT) (@ b_ahU) (ds_dlL :: Foo.T) ->
case ds_dlL of _ [Occ=Dead] { Foo.T ds_dlM ds_dlN ->
ds_dlN @ a_ahT @ b_ahU
}
*** End of Offense ***
<no location info>:
Compilation had errors
*** unexpected failure for tc124(optasm)
=====> tc124(optllvm) 3135 of 4100 [0, 5, 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 -fllvm -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}]
Foo.f =
\ (t_ahp :: Foo.T) ->
let {
my_t1_ahq :: forall a_ahc. a_ahc -> a_ahc
[LclId,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=False, ConLike=False,
WorkFree=True, Expandable=False, Guidance=IF_ARGS [] 10 0}]
my_t1_ahq =
\ (@ a_aia) ->
(case t_ahp of _ [Occ=Dead] { Foo.T ds_dlG ds_dlH -> ds_dlG })
@ a_aia } in
(my_t1_ahq @ GHC.Types.Int (GHC.Types.I# 3),
my_t1_ahq @ GHC.Types.Char (GHC.Types.C# 'c'))
Foo.g :: Foo.T -> Foo.T
[LclIdX,
Arity=1,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [20] 40 30}]
Foo.g =
\ (t_ahr :: Foo.T) ->
case t_ahr of _ [Occ=Dead] { Foo.T ds_dlB ds_dlC ->
Foo.T
ds_dlB
(\ (@ a_ai4) (@ b_ai5) _ [Occ=Dead] (y_aht :: b_ai5) -> y_aht)
}
Foo.t1 :: forall a_ahc. Foo.T -> a_ahc -> a_ahc
[LclIdX[[RecSel]],
Arity=1,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=True)}]
Foo.t1 =
\ (@ a_ahS) (ds_dlI :: Foo.T) ->
case ds_dlI of _ [Occ=Dead] { Foo.T ds_dlJ ds_dlK ->
ds_dlJ @ a_ahS
}
Foo.t2 :: forall a_ahd b_ahe. Foo.T -> a_ahd -> b_ahe -> b_ahe
[LclIdX[[RecSel]],
Arity=1,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=True)}]
Foo.t2 =
\ (@ a_ahT) (@ b_ahU) (ds_dlL :: Foo.T) ->
case ds_dlL of _ [Occ=Dead] { Foo.T ds_dlM ds_dlN ->
ds_dlN @ a_ahT @ b_ahU
}
*** End of Offense ***
<no location info>:
Compilation had errors
*** unexpected failure for tc124(optllvm)
=====> faxen(normal) 3261 of 4100 [0, 6, 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 faxen.hs -fno-warn-incomplete-patterns
>faxen.comp.stderr 2>&1
=====> faxen(hpc) 3261 of 4100 [0, 6, 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 faxen.hs -O -fhpc -hpcdir .hpc.faxen
-fno-warn-incomplete-patterns >faxen.comp.stderr 2>&1
=====> faxen(optasm) 3261 of 4100 [0, 6, 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 faxen.hs -O -fasm -fno-warn-incomplete-patterns
>faxen.comp.stderr 2>&1
=====> faxen(optllvm) 3261 of 4100 [0, 6, 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 faxen.hs -O -fllvm -fno-warn-incomplete-patterns
>faxen.comp.stderr 2>&1
=====> T7891(normal) 3368 of 4100 [0, 6, 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 T7891.hs -fno-warn-incomplete-patterns
>T7891.comp.stderr 2>&1
=====> T7891(hpc) 3368 of 4100 [0, 6, 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 T7891.hs -O -fhpc -hpcdir .hpc.T7891
-fno-warn-incomplete-patterns >T7891.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 -> t_aiF -> t_aiFâ
@ a_12 is out of scope
*** Offending Program ***
a_sjw :: forall a_aiN. a_aiN -> a_aiN
[LclId,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 0 60}]
a_sjw =
tick<main@main:T7891,4>
tick<main@main:T7891,3> tick<main@main:T7891,2> GHC.Base.id
T7891.tf :: T7891.T
[LclIdX,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}]
T7891.tf =
a_sjw
`cast` (Sym T7891.NTCo:T[0]
:: (forall t_ahm. t_ahm -> t_ahm) ~R# T7891.T)
ds_sjx :: T7891.T
[LclId,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 0 0}]
ds_sjx = tick<main@main:T7891,5> T7891.tf
T7891.f :: forall t_ahz. t_ahz -> t_ahz
[LclIdX,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}]
T7891.f =
ds_sjx
`cast` (T7891.NTCo:T[0]
:: T7891.T ~R# (forall t_ahm. t_ahm -> t_ahm))
T7891.g :: forall t_ahy. t_ahy -> t_ahy
[LclIdX,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 0 0}]
T7891.g =
\ (@ t_aip) ->
(tick<main@main:T7891,7> tick<main@main:T7891,6> T7891.f) @ t_aip
T7891.b :: GHC.Types.Char
[LclIdX,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 30 0}]
T7891.b =
tick<main@main:T7891,13>
tick<main@main:T7891,12>
T7891.f
@ GHC.Types.Char (tick<main@main:T7891,11> GHC.Types.C# 'b')
T7891.a :: ()
[LclIdX,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
T7891.a =
tick<main@main:T7891,10>
tick<main@main:T7891,9>
T7891.f @ () (tick<main@main:T7891,8> GHC.Tuple.())
$cmkF_aj5 :: () -> T7891.F ()
[LclId,
Arity=1,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [20] 30 0}]
$cmkF_aj5 =
\ (ds_djr :: ()) ->
tick<main@main:T7891,16>
case ds_djr of _ [Occ=Dead] { () ->
tick<main@main:T7891,15>
T7891.$WFUnit (tick<main@main:T7891,14> GHC.Base.id)
}
T7891.$fC() [InlPrag=INLINE (sat-args=0)] :: T7891.C ()
[LclIdX[DFunId(nt)],
Arity=1,
Str=DmdType,
Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=0,unsat_ok=False,boring_ok=True)
Tmpl= $cmkF_aj5
`cast` (Sym (T7891.NTCo:C[0] <()>_N)
:: (() -> T7891.F ()) ~R# T7891.C ())}]
T7891.$fC() =
$cmkF_aj5
`cast` (Sym (T7891.NTCo:C[0] <()>_N)
:: (() -> T7891.F ()) ~R# T7891.C ())
T7891.k :: forall t_ahn. t_ahn -> t_ahn
[LclIdX,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 40 0}]
T7891.k =
\ (@ t_aiF) ->
(tick<main@main:T7891,1>
case (T7891.mkF
@ () T7891.$fC() (tick<main@main:T7891,0> GHC.Tuple.()))
`cast` (Sub T7891.TFCo:R:F()[0] :: T7891.F () ~R# T7891.R:F())
of _ [Occ=Dead] { T7891.FUnit k_aiz ->
k_aiz
})
@ t_aiF
*** End of Offense ***
<no location info>:
Compilation had errors
*** unexpected failure for T7891(hpc)
=====> T7891(optasm) 3368 of 4100 [0, 7, 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 T7891.hs -O -fasm -fno-warn-incomplete-patterns
>T7891.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 -> t_aiF -> t_aiFâ
@ a_12 is out of scope
*** Offending Program ***
T7891.tf :: T7891.T
[LclIdX,
Arity=1,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}]
T7891.tf =
GHC.Base.id
`cast` (Sym T7891.NTCo:T[0]
:: (forall t_ahm. t_ahm -> t_ahm) ~R# T7891.T)
T7891.f :: forall t_ahz. t_ahz -> t_ahz
[LclIdX,
Arity=1,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}]
T7891.f =
T7891.tf
`cast` (T7891.NTCo:T[0]
:: T7891.T ~R# (forall t_ahm. t_ahm -> t_ahm))
T7891.g :: forall t_ahy. t_ahy -> t_ahy
[LclIdX,
Arity=1,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}]
T7891.g = T7891.f
T7891.b :: GHC.Types.Char
[LclIdX,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 30 0}]
T7891.b = T7891.f @ GHC.Types.Char (GHC.Types.C# 'b')
T7891.a :: ()
[LclIdX,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
T7891.a = T7891.f @ () GHC.Tuple.()
$cmkF_aj5 :: () -> T7891.F ()
[LclId,
Arity=1,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [20] 30 0}]
$cmkF_aj5 =
\ (ds_djr :: ()) ->
case ds_djr of _ [Occ=Dead] { () -> T7891.$WFUnit GHC.Base.id }
T7891.$fC() [InlPrag=INLINE (sat-args=0)] :: T7891.C ()
[LclIdX[DFunId(nt)],
Arity=1,
Str=DmdType,
Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=0,unsat_ok=False,boring_ok=True)
Tmpl= $cmkF_aj5
`cast` (Sym (T7891.NTCo:C[0] <()>_N)
:: (() -> T7891.F ()) ~R# T7891.C ())}]
T7891.$fC() =
$cmkF_aj5
`cast` (Sym (T7891.NTCo:C[0] <()>_N)
:: (() -> T7891.F ()) ~R# T7891.C ())
T7891.k :: forall t_ahn. t_ahn -> t_ahn
[LclIdX,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 40 0}]
T7891.k =
\ (@ t_aiF) ->
(case (T7891.mkF @ () T7891.$fC() GHC.Tuple.())
`cast` (Sub T7891.TFCo:R:F()[0] :: T7891.F () ~R# T7891.R:F())
of _ [Occ=Dead] { T7891.FUnit k_aiz ->
k_aiz
})
@ t_aiF
*** End of Offense ***
<no location info>:
Compilation had errors
*** unexpected failure for T7891(optasm)
=====> T7891(optllvm) 3368 of 4100 [0, 8, 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 T7891.hs -O -fllvm -fno-warn-incomplete-patterns
>T7891.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 -> t_aiF -> t_aiFâ
@ a_12 is out of scope
*** Offending Program ***
T7891.tf :: T7891.T
[LclIdX,
Arity=1,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}]
T7891.tf =
GHC.Base.id
`cast` (Sym T7891.NTCo:T[0]
:: (forall t_ahm. t_ahm -> t_ahm) ~R# T7891.T)
T7891.f :: forall t_ahz. t_ahz -> t_ahz
[LclIdX,
Arity=1,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}]
T7891.f =
T7891.tf
`cast` (T7891.NTCo:T[0]
:: T7891.T ~R# (forall t_ahm. t_ahm -> t_ahm))
T7891.g :: forall t_ahy. t_ahy -> t_ahy
[LclIdX,
Arity=1,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}]
T7891.g = T7891.f
T7891.b :: GHC.Types.Char
[LclIdX,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 30 0}]
T7891.b = T7891.f @ GHC.Types.Char (GHC.Types.C# 'b')
T7891.a :: ()
[LclIdX,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
T7891.a = T7891.f @ () GHC.Tuple.()
$cmkF_aj5 :: () -> T7891.F ()
[LclId,
Arity=1,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [20] 30 0}]
$cmkF_aj5 =
\ (ds_djr :: ()) ->
case ds_djr of _ [Occ=Dead] { () -> T7891.$WFUnit GHC.Base.id }
T7891.$fC() [InlPrag=INLINE (sat-args=0)] :: T7891.C ()
[LclIdX[DFunId(nt)],
Arity=1,
Str=DmdType,
Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=0,unsat_ok=False,boring_ok=True)
Tmpl= $cmkF_aj5
`cast` (Sym (T7891.NTCo:C[0] <()>_N)
:: (() -> T7891.F ()) ~R# T7891.C ())}]
T7891.$fC() =
$cmkF_aj5
`cast` (Sym (T7891.NTCo:C[0] <()>_N)
:: (() -> T7891.F ()) ~R# T7891.C ())
T7891.k :: forall t_ahn. t_ahn -> t_ahn
[LclIdX,
Str=DmdType,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 40 0}]
T7891.k =
\ (@ t_aiF) ->
(case (T7891.mkF @ () T7891.$fC() GHC.Tuple.())
`cast` (Sub T7891.TFCo:R:F()[0] :: T7891.F () ~R# T7891.R:F())
of _ [Occ=Dead] { T7891.FUnit k_aiz ->
k_aiz
})
@ t_aiF
*** End of Offense ***
<no location info>:
Compilation had errors
*** unexpected failure for T7891(optllvm)
=====> T3500b(normal) 3766 of 4100 [0, 9, 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 >T3500b.comp.stderr 2>&1
cd ./typecheck/should_run && ./T3500b </dev/null >T3500b.run.stdout
2>T3500b.run.stderr
=====> T3500b(hpc) 3766 of 4100 [0, 9, 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 -fhpc -hpcdir .hpc.T3500b
>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 Class op showsPrec
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: 12967
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
*** unexpected failure for T3500b(hpc)
=====> T3500b(optasm) 3766 of 4100 [0, 10, 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 -fasm >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
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
*** unexpected failure for T3500b(optasm)
=====> T3500b(ghci) 3766 of 4100 [0, 11, 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 T3500b.hs --interactive -v0 -ignore-dot-ghci +RTS
-I0.1 -RTS <T3500b.genscript 1>T3500b.interp.stdout 2>T3500b.interp.stderr
=====> T3500b(threaded1) 3766 of 4100 [0, 11, 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 -threaded -debug
>T3500b.comp.stderr 2>&1
cd ./typecheck/should_run && ./T3500b </dev/null >T3500b.run.stdout
2>T3500b.run.stderr
=====> T3500b(threaded2) 3766 of 4100 [0, 11, 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 -threaded -eventlog
>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
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
*** 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
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
*** unexpected failure for T3500b(dyn)
=====> T3500b(optllvm) 3766 of 4100 [0, 13, 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 -fllvm >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
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
*** unexpected failure for T3500b(optllvm)
=====> posix002(normal) 4088 of 4100 [0, 14, 0]
cd ../../libraries/unix/tests/libposix &&
'/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 posix002 posix002.hs >posix002.comp.stderr 2>&1
cd ../../libraries/unix/tests/libposix && ./posix002 </dev/null
>posix002.run.stdout 2>posix002.run.stderr
=====> posix002(hpc) 4088 of 4100 [0, 14, 0]
cd ../../libraries/unix/tests/libposix &&
'/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 posix002 posix002.hs -O -fhpc -hpcdir
.hpc.posix002 >posix002.comp.stderr 2>&1
cd ../../libraries/unix/tests/libposix && ./posix002 </dev/null
>posix002.run.stdout 2>posix002.run.stderr
=====> posix002(optasm) 4088 of 4100 [0, 14, 0]
cd ../../libraries/unix/tests/libposix &&
'/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 posix002 posix002.hs -O -fasm
>posix002.comp.stderr 2>&1
cd ../../libraries/unix/tests/libposix && ./posix002 </dev/null
>posix002.run.stdout 2>posix002.run.stderr
=====> posix002(ghci) 4088 of 4100 [0, 14, 0]
cd ../../libraries/unix/tests/libposix &&
'/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 posix002.hs --interactive -v0 -ignore-dot-ghci +RTS
-I0.1 -RTS <posix002.genscript 1>posix002.interp.stdout
2>posix002.interp.stderr
=====> posix002(threaded1) 4088 of 4100 [0, 14, 0]
cd ../../libraries/unix/tests/libposix &&
'/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 posix002 posix002.hs -threaded -debug
>posix002.comp.stderr 2>&1
cd ../../libraries/unix/tests/libposix && ./posix002 </dev/null
>posix002.run.stdout 2>posix002.run.stderr
=====> posix002(threaded2) 4088 of 4100 [0, 14, 0]
cd ../../libraries/unix/tests/libposix &&
'/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 posix002 posix002.hs -O -threaded -eventlog
>posix002.comp.stderr 2>&1
cd ../../libraries/unix/tests/libposix && ./posix002 +RTS -N2 -ls -RTS
</dev/null >posix002.run.stdout 2>posix002.run.stderr
=====> posix002(dyn) 4088 of 4100 [0, 14, 0]
cd ../../libraries/unix/tests/libposix &&
'/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 posix002 posix002.hs -O -dynamic
>posix002.comp.stderr 2>&1
cd ../../libraries/unix/tests/libposix && ./posix002 </dev/null
>posix002.run.stdout 2>posix002.run.stderr
=====> posix002(optllvm) 4088 of 4100 [0, 14, 0]
cd ../../libraries/unix/tests/libposix &&
'/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 posix002 posix002.hs -O -fllvm
>posix002.comp.stderr 2>&1
cd ../../libraries/unix/tests/libposix && ./posix002 </dev/null
>posix002.run.stdout 2>posix002.run.stderr
Unexpected results from:
TEST="ghci044 ghci047 T7891 tc124 T8628 T3500b"
OVERALL SUMMARY for test run started at Fri Sep 5 22:49:11 2014 FET
0:00:17 spent to go through
4100 total tests, which gave rise to
16074 test cases, of which
16036 were skipped
0 had missing libraries
24 expected passes
0 expected failures
0 caused framework failures
0 unexpected passes
14 unexpected failures
Unexpected failures:
ghc-api T8628 [bad stderr] (normal)
ghci/scripts ghci044 [bad stderr] (ghci)
ghci/scripts ghci047 [bad stderr] (ghci)
typecheck/should_compile T7891 [exit code non-0] (hpc,optasm,optllvm)
typecheck/should_compile tc124 [exit code non-0] (hpc,optasm,optllvm)
typecheck/should_run T3500b [exit code non-0]
(hpc,optasm,threaded2,dyn,optllvm)
make[1]: ÐÑÑ
од из каÑалога
`/home/slyfox/dev/git/ghc-validate/testsuite/tests'
signature.asc
Description: PGP signature
_______________________________________________ ghc-devs mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-devs
