make -C testsuite/tests CLEANUP=1 OUTPUT_SUMMARY=../../testsuite_summary.txt make[1]: Entering directory `/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=False -e ghc_with_native_codegen=1 -e ghc_with_vanilla=1 -e ghc_with_dynamic=1 -e ghc_with_profiling=1 -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 --threads=12 -e clean_only=False --rootdir=. --config=../config/ghc -e 'config.confdir="../config"' -e 'config.compiler="/home/slyfox/dev/git/ghc-validate/inplace/bin/ghc-stage2"' -e 'config.ghc_pkg="/home/slyfox/dev/git/ghc-validate/inplace/bin/ghc-pkg"' -e 'config.hp2ps="/home/slyfox/dev/git/ghc-validate/inplace/bin/hp2ps"' -e 'config.hpc="/home/slyfox/dev/git/ghc-validate/inplace/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=T7891 \ \ --way=optasm \ \ \ \ Error: /undefined in This Operand stack: Execution stack: %interp_exit .runexec2 --nostringval-- --nostringval-- --nostringval-- 2 %stopped_push --nostringval-- --nostringval-- --nostringval-- false 1 %stopped_push 1900 1 3 %oparray_pop 1899 1 3 %oparray_pop 1883 1 3 %oparray_pop 1771 1 3 %oparray_pop --nostringval-- %errorexec_pop .runexec2 --nostringval-- --nostringval-- --nostringval-- 2 %stopped_push --nostringval-- Dictionary stack: --dict:1172/1684(ro)(G)-- --dict:0/20(G)-- --dict:77/200(L)-- Current allocation mode is local Current file position is 5 gs -dNODISPLAY -dBATCH -dQUIET -dNOPAUSE ../config/good.ps gs -dNODISPLAY -dBATCH -dQUIET -dNOPAUSE ../config/bad.ps GhostScript available for hp2ps tests Timeout is 300 Found 269 .T files... Beginning test run at Sat Aug 30 13:36:37 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 =====> T7891(optasm) 3364 of 4096 [0, 0, 0] cd ./typecheck/should_compile && '/home/slyfox/dev/git/ghc-validate/inplace/bin/ghc-stage2' -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 *** : Warning: In the type ���a_12 -> t_aiE -> t_aiE��� @ a_12 is out of scope *** Offending Program *** T7891.tf :: T7891.T [LclIdX, Arity=1, Str=DmdType, Unf=Unf{Src=, 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_ahi. t_ahi -> t_ahi) ~R# T7891.T) T7891.f :: forall t_ahv. t_ahv -> t_ahv [LclIdX, Arity=1, Str=DmdType, Unf=Unf{Src=, 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_ahi. t_ahi -> t_ahi)) T7891.g :: forall t_ahu. t_ahu -> t_ahu [LclIdX, Arity=1, Str=DmdType, Unf=Unf{Src=, 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.a :: () [LclIdX, Str=DmdType, Unf=Unf{Src=, TopLvl=True, Value=False, ConLike=False, WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}] T7891.a = T7891.f @ () GHC.Tuple.() T7891.b :: GHC.Types.Char [LclIdX, Str=DmdType, Unf=Unf{Src=, 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') $cmkF_aj4 :: () -> T7891.F () [LclId, Arity=1, Str=DmdType, Unf=Unf{Src=, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=IF_ARGS [20] 30 0}] $cmkF_aj4 = \ (ds_djq :: ()) -> case ds_djq 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_aj4 `cast` (Sym (T7891.NTCo:C[0] <()>_N) :: (() -> T7891.F ()) ~R# T7891.C ())}] T7891.$fC() = $cmkF_aj4 `cast` (Sym (T7891.NTCo:C[0] <()>_N) :: (() -> T7891.F ()) ~R# T7891.C ()) T7891.k :: forall t_ahj. t_ahj -> t_ahj [LclIdX, Str=DmdType, Unf=Unf{Src=, TopLvl=True, Value=False, ConLike=False, WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 40 0}] T7891.k = \ (@ t_aiE) -> (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_aiy -> k_aiy }) @ t_aiE *** End of Offense *** : Compilation had errors *** unexpected failure for T7891(optasm) Unexpected results from: TEST="T7891" OVERALL SUMMARY for test run started at Sat Aug 30 13:36:37 2014 FET 0:00:02 spent to go through 4096 total tests, which gave rise to 19646 test cases, of which 19645 were skipped 0 had missing libraries 0 expected passes 0 expected failures 0 caused framework failures 0 unexpected passes 1 unexpected failures Unexpected failures: typecheck/should_compile T7891 [exit code non-0] (optasm) make[1]: Leaving directory `/home/slyfox/dev/git/ghc-validate/testsuite/tests'