- ghc-devs - Haskell.org

Windows test failures
by Simon Peyton Jones 30 Nov '18

30 Nov '18

Ben, Phyx, and other CI folk 'sh validate -fast' still gives a lot of failures on Window. The output is below. I would be so good to get this to zero! (another minor thing is that it would be great to eliminate the long path at the beginning - this is platform independent - I have to delete manually many times each day. Thanks Simon Unexpected passes: /c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/rts/T9405.run T9405 [unexpected] (normal) Unexpected failures: /c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/driver/T14452.run T14452 [bad stdout] (normal) /c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/ghci/linking/ghcilink001.run ghcilink001 [bad exit code] (normal) /c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/ghci/prog010/ghci.prog010.run ghci.prog010 [bad exit code] (ghci) /c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/ghci/scripts/ghci050.run ghci050 [bad exit code] (ghci) /c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/ghci/should_run/T14963a.run T14963a [bad exit code] (ghci) /c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/ghci.debugger/scripts/print012.run print012 [bad exit code] (ghci) /c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/ghci.debugger/scripts/print016.run print016 [bad exit code] (ghci) /c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/ghci.debugger/scripts/break019.run break019 [bad exit code] (ghci) /c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/ghci.debugger/scripts/break028.run break028 [bad exit code] (ghci) /c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/ghci.debugger/scripts/dynbrk002.run dynbrk002 [bad exit code] (ghci) /c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/ghci.debugger/scripts/T2740.run T2740 [bad exit code] (ghci) /c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/indexed-types/should_fail/T7102a.run T7102a [bad exit code] (ghci) /c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/plugins/plugin-recomp-change.run plugin-recomp-change [bad exit code] (normal) /c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/rts/T10672/T10672_x64.run T10672_x64 [bad exit code] (normal) /c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/th/TH_spliceGuard.run TH_spliceGuard [exit code non-0] (normal) /c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/th/TH_overlaps.run TH_overlaps [exit code non-0] (normal) /c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/th/T5886.run T5886 [exit code non-0] (normal) /c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/th/T10697_decided_3.run T10697_decided_3 [exit code non-0] (normal) /c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/th/T11629.run T11629 [exit code non-0] (normal) /c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/libraries/base/tests/T4006.run T4006 [bad stdout] (normal) /c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/libraries/base/tests/IO/environment001.run environment001 [bad stdout] (normal) /c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/ghci/should_run/T15633b.run T15633b [bad exit code] (ghci) /c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/plugins/plugins07.run plugins07 [bad exit code] (normal) /c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/plugins/plugins09.run plugins09 [bad stdout] (normal) /c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/plugins/plugins10.run plugins10 [bad stdout] (normal) /c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/plugins/plugins11.run plugins11 [bad stdout] (normal) /c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/plugins/T10420.run T10420 [bad exit code] (normal) /c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/plugins/plugin-recomp-pure.run plugin-recomp-pure [bad exit code] (normal) /c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/plugins/plugin-recomp-impure.run plugin-recomp-impure [bad exit code] (normal) /c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/plugins/plugin-recomp-flags.run plugin-recomp-flags [bad exit code] (normal) Framework failures: /c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/perf/compiler/MultiLayerModules.run MultiLayerModules [runTest] (Unhandled exception during cleanup: Unable to remove folder '/c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/perf/compiler/MultiLayerModules.run': [Errno 13] Permission denied: '/c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/perf/compiler/MultiLayerModules.run' Unable to start current test.) /c/Users/simonpj/AppData/Local/Temp/ghctest-i30xogs3/test spaces/libraries/base/tests/IO/T3307.run T3307 [normal] ('latin-1' codec can't encode characters in position 24-25: ordinal not in range(256))

3 2

Kind inference
by Simon Peyton Jones 29 Nov '18

29 Nov '18

I have been working for longer than I care to admit on a significant refactoring of kind inference. I've just pushed it. It's a pretty big patch, which Richard and I have been discussing for some weeks. It validates, and fixes at least nine troublesome open tickets. But of course I could have made a mistake. Be vigilant. My: there will almost certainly be conflicts with your visible kind application patch, especially in tcInferApps. But that function has gotten substantially simpler in my patch so I don't think it'll be hard to fix things up. Phew! Simon

1 0

llvm way only tests?
by Gabor Greif 29 Nov '18

29 Nov '18

Hi all, what is the magic incantation for running tests only when the llvm tools (e.g. `opt`) are around? I am currently declaring the test as test('T15155l', [ only_ways(llvm_ways), ], run_command, ['$MAKE -s --no-print-directory T15155l']) but it won't be included neither in the optasm builds (which is okay) nor in the llvm builds (gets skipped unexpetedly) I looked at the other test which are declared similarly, and they behave just like mine. What I am doing wrong? Thanks, Gabor

2 2

condensed summary of vanilla mojave ghc 8.6.2 errors with clang
by Carter Schonwald 27 Nov '18

27 Nov '18

the vast majority of the errors i previously shared seem to be "can't find atom for stabs BNSYM at 0000AF80 in /Users/carter/dev-checkouts/ghc-tree/ghc-8.6.X-checkout-clang-build/libraries/base/dist-install/build/libHSbase-4.12.0.0.a(Internals.o)" which corresponds with this code in the apple linker https://github.com/llvm-mirror/lld/blob/master/lib/ReaderWriter/MachO/MachO… i dont know to what to make of this

1 2

Running IO function from RTS
by lonetiger＠gmail.com 26 Nov '18

26 Nov '18

Hi all, I’m looking for a way to initiate a call from the RTS into Haskell (base function) running and evaluating an IO function using the non-threaded RTS. For the threaded RTS I can use rts_evalIO with the RTS capability, but for the non-threaded I can’t find a way that doesn’t trigger the if (cap->in_haskell) { errorBelch("schedule: re-entered unsafely.\n" " Perhaps a 'foreign import unsafe' should be 'safe'?"); stg_exit(EXIT_FAILURE); } Clause in the scheduler. Taking a look at how the non-threaded I/O manager currently works on Windows, it seems that re-uses the TSO from the blocked thread doing the I/O call to give notifications back. This approach doesn’t work for me since the new I/O manager doesn’t block doing a foreign call boundary, instead It blocks in Haskell on an MVar, and I only want to wake up very specific threads. In short, does anyone know of a way to initialize an I/O operation from the non-threaded RTS? Thanks, Tamar

1 0

git stats
by Simon Peyton Jones 26 Nov '18

26 Nov '18

David I’m still getting all these fatal errors when making a single test. Plus it takes several seconds for them all to happen. Any thoughts about supressing this stuff? I know you made some progress here. Thanks Simon simonpj@cam-05-unx:~/5builds/HEAD-4/testsuite/tests/typecheck/should_compile$ make stage=1 TEST=T13871 PYTHON="python3" "python3" ../../../driver/runtests.py -e "ghc_compiler_always_flags='-dcore-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn-missed-specialisations -fshow-warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -Werror=compat -dno-debug-output'" -e config.compiler_debugged=True -e ghc_with_native_codegen=True -e config.have_vanilla=True -e config.have_dynamic=True -e config.have_profiling=False -e ghc_with_threaded_rts=True -e ghc_with_dynamic_rts=True -e config.have_interp=False -e config.unregisterised=False -e config.have_gdb=False -e config.have_readelf=True -e config.ghc_dynamic_by_default=False -e config.ghc_dynamic=False -e ghc_with_smp=True -e ghc_with_llvm=False -e windows=False -e darwin=False -e config.in_tree_compiler=True -e config.cleanup=True -e config.local=True --rootdir=. --config-file=../../../config/ghc -e 'config.platform="x86_64-unknown-linux"' -e 'config.os="linux"' -e 'config.arch="x86_64"' -e 'config.wordsize="64"' -e 'config.timeout=int() or config.timeout' -e 'config.exeext=""' -e 'config.top="/5playpen/simonpj/HEAD-4/testsuite"' --config 'compiler="/5playpen/simonpj/HEAD-4/inplace/test spaces/ghc-stage1"' --config 'ghc_pkg="/5playpen/simonpj/HEAD-4/inplace/test spaces/ghc-pkg"' --config 'haddock=' --config 'hp2ps="/5playpen/simonpj/HEAD-4/inplace/test spaces/hp2ps"' --config 'hpc="/5playpen/simonpj/HEAD-4/inplace/test spaces/hpc"' --config 'gs="gs"' --config 'timeout_prog="../../../timeout/install-inplace/bin/timeout"' -e "config.stage=1" \ --only=T13871 \ \ \ \ \ \ Timeout is 300 fatal: Not a git repository (or any parent up to mount point /5playpen) Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set). Failed to get allowed metric changes from the HEAD git commit message. 0 Found 1 .T files... Beginning test run at Mon Nov 26 16:26:18 2018 GMT ====> Scanning ./all.T =====> T13871(normal) 1 of 1 [0, 0, 0] cd "T13871.run" && "/5playpen/simonpj/HEAD-4/inplace/test spaces/ghc-stage1" -c T13871.hs -dcore-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn-missed-specialisations -fshow-warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -Werror=compat -dno-debug-output -fno-warn-incomplete-patterns SUMMARY for test run started at Mon Nov 26 16:26:18 2018 GMT 0:00:01 spent to go through 1 total tests, which gave rise to 3 test cases, of which 2 were skipped 0 had missing libraries 1 expected passes 0 expected failures 0 caused framework failures 0 caused framework warnings 0 unexpected passes 0 unexpected failures 0 unexpected stat failures Appending 0 stats to git notes. fatal: Not a git repository (or any parent up to mount point /5playpen) Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set). fatal: Not a git repository (or any parent up to mount point /5playpen) Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set). fatal: Not a git repository (or any parent up to mount point /5playpen) Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set). fatal: Not a git repository (or any parent up to mount point /5playpen) Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set). fatal: Not a git repository (or any parent up to mount point /5playpen) Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set). An error occured while writing the performance metrics to git notes. This is usually due to a lock-file existing somewhere in the git repo. simonpj@cam-05-unx:~/5builds/HEAD-4/testsuite/tests/typecheck/should_compile$

1 0

ghc 8.6.x release clearly fails validate or even make test, some help please!
by Carter Schonwald 25 Nov '18

25 Nov '18

Hey Everyone ... I'm concerned, it looks like ghc 8.6.2 on OSX doens't pass validate or even a rudimentary `make test` I'm not sure how to make heads or tails of all these errors, and it looks like a huge amount of dev work over time has accumulated some failures .... could the code owners on these sub systems at least help me make heads or tails of these errors? SUMMARY for test run started at Mon Nov 19 19:48:18 2018 EST 0:28:32 spent to go through 6516 total tests, which gave rise to 25425 test cases, of which 18538 were skipped 41 had missing libraries 6380 expected passes 92 expected failures 2 caused framework failures 0 caused framework warnings 0 unexpected passes 365 unexpected failures 7 unexpected stat failures Unexpected failures: backpack/cabal/bkpcabal05/bkpcabal05.run bkpcabal05 [bad stderr] (normal) backpack/cabal/bkpcabal02/bkpcabal02.run bkpcabal02 [bad stderr] (normal) backpack/cabal/bkpcabal06/bkpcabal06.run bkpcabal06 [bad stderr] (normal) backpack/cabal/bkpcabal04/bkpcabal04.run bkpcabal04 [bad stderr] (normal) backpack/cabal/bkpcabal07/bkpcabal07.run bkpcabal07 [bad stderr] (normal) backpack/cabal/bkpcabal03/bkpcabal03.run bkpcabal03 [bad stderr] (normal) backpack/cabal/T14304/T14304.run T14304 [bad stderr] (normal) cabal/T12485/T12485.run T12485 [bad stderr] (normal) backpack/cabal/bkpcabal01/bkpcabal01.run bkpcabal01 [bad stderr] (normal) cabal/cabal04/cabal04.run cabal04 [bad stderr] (normal) cabal/T12733/T12733.run T12733 [bad stderr] (normal) cabal/cabal01/cabal01.run cabal01 [bad stderr] (normal) cabal/cabal09/cabal09.run cabal09 [bad stderr] (normal) cabal/cabal03/cabal03.run cabal03 [bad stderr] (normal) codeGen/should_compile/T2578.run T2578 [bad stderr] (normal) cabal/cabal08/cabal08.run cabal08 [bad stderr] (normal) codeGen/should_compile/debug.run debug [bad stderr] (normal) cabal/cabal05/cabal05.run cabal05 [bad stderr] (normal) cabal/cabal06/cabal06.run cabal06 [bad stderr] (normal) deSugar/should_run/T5522.run T5522 [stderr mismatch] (optasm) driver/driver062a.run driver062a [bad stderr] (normal) driver/driver062b.run driver062b [bad stderr] (normal) driver/driver062c.run driver062c [bad stderr] (normal) driver/driver062d.run driver062d [bad stderr] (normal) driver/driver062e.run driver062e [bad stderr] (normal) driver/driver081a.run driver081a [bad stderr] (normal) driver/driver081b.run driver081b [bad stderr] (normal) driver/rtsopts002.run rtsopts002 [bad stderr] (normal) driver/T3674.run T3674 [bad stderr] (normal) driver/rtsopts001.run rtsopts001 [bad stderr] (normal) driver/withRtsOpts.run withRtsOpts [bad stderr] (normal) driver/T703.run T703 [bad stderr] (normal) driver/T5313.run T5313 [bad exit code] (normal) driver/T9938.run T9938 [bad stderr] (normal) driver/T9938B.run T9938B [bad stderr] (normal) driver/T12971.run T12971 [bad stderr] (normal) driver/T10320.run T10320 [bad stderr] (normal) driver/T7835/T7835.run T7835 [bad stderr] (normal) driver/T437/T437.run T437 [bad stderr] (normal) driver/T13914/T13914.run T13914 [bad stderr] (normal) driver/T1959/T1959.run T1959 [bad stderr] (normal) driver/dynamic_flags_001/dynamic_flags_001.run dynamic_flags_001 [bad stderr] (normal) driver/dynamicToo/dynamicToo001/dynamicToo001.run dynamicToo001 [bad stderr] (normal) driver/recomp001/recomp001.run recomp001 [bad stderr] (normal) driver/linkwhole/linkwhole.run linkwhole [bad stderr] (normal) driver/T3007/T3007.run T3007 [bad stderr] (normal) driver/recomp004/recomp004.run recomp004 [bad stderr] (normal) driver/T1372/T1372.run T1372 [bad stderr] (normal) driver/recomp010/recomp010.run recomp010 [bad stderr] (normal) driver/recomp008/recomp008.run recomp008 [bad stderr] (normal) driver/recomp012/recomp012.run recomp012 [bad stderr] (normal) driver/recomp011/recomp011.run recomp011 [bad stderr] (normal) driver/recomp007/recomp007.run recomp007 [bad stderr] (normal) ffi/should_run/Capi_Ctype_002.run Capi_Ctype_002 [bad stderr] (normal) ffi/should_run/Capi_Ctype_001.run Capi_Ctype_001 [bad stderr] (normal) gadt/gadt23.run gadt23 [bad stderr] (normal) ghc-api/T10508_api.run T10508_api [bad exit code] (normal) ghc-api/T8628.run T8628 [bad exit code] (normal) ghc-api/T6145.run T6145 [bad stderr] (normal) ghc-api/T8639_api.run T8639_api [bad exit code] (normal) ghc-api/T10052/T10052.run T10052 [bad exit code] (normal) ghc-api/T4891/T4891.run T4891 [bad stderr] (normal) ghc-api/T7478/T7478.run T7478 [bad stderr] (normal) ghc-api/dynCompileExpr/dynCompileExpr.run dynCompileExpr [bad exit code] (normal) ghc-api/show-srcspan/showsrcspan.run showsrcspan [bad stderr] (normal) ghc-api/annotations-literals/literals.run literals [bad stderr] (normal) ghc-api/annotations-literals/parsed.run parsed [bad stderr] (normal) ghci/linking/dyn/T10955dyn.run T10955dyn [bad stderr] (normal) ghci/prog001/prog001.run prog001 [bad exit code] (ghci-ext) ghci/scripts/ghci063.run ghci063 [bad stderr] (ghci) ghci/scripts/ghci062.run ghci062 [bad exit code] (ghci-ext) hsc2hs/hsc2hs003.run hsc2hs003 [bad stderr] (normal) hsc2hs/hsc2hs004.run hsc2hs004 [bad stderr] (normal) hsc2hs/T4340.run T4340 [bad stderr] (normal) hsc2hs/T10272.run T10272 [bad stderr] (normal) lib/integer/integerConstantFolding.run integerConstantFolding [bad stderr] (normal) module/mod179.run mod179 [stderr mismatch] (normal) numeric/should_compile/T7116.run T7116 [bad stdout] (normal) numeric/should_compile/T14170.run T14170 [bad stdout] (normal) numeric/should_compile/T14465.run T14465 [bad stdout] (normal) module/mod175/mod175.run mod175 [bad stderr] (normal) numeric/should_run/T7014.run T7014 [bad stderr] (normal) parser/should_compile/T5243.run T5243 [stderr mismatch] (normal) parser/should_compile/T7476/T7476.run T7476 [bad stderr] (normal) patsyn/should_compile/T13350/T13350.run T13350 [bad stderr] (normal) perf/should_run/T3736.run T3736 [bad stderr] (normal) perf/should_run/T149.run T149 [bad stderr] (normal) perf/should_run/T2902.run T2902 [bad stderr] (normal) plugins/plugin-recomp-change.run plugin-recomp-change [bad stderr] (normal) plugins/plugin-recomp-change-prof.run plugin-recomp-change-prof [bad stderr] (normal) programs/hs-boot/hs-boot.run hs-boot [stderr mismatch] (normal) rename/prog006/rn.prog006.run rn.prog006 [bad stderr] (normal) rename/should_compile/T15149.run T15149 [stderr mismatch] (normal) rts/outofmem2.run outofmem2 [bad stderr] (normal) rts/T4059.run T4059 [bad stderr] (normal) rts/T4850.run T4850 [bad stderr] (normal) rts/T5423.run T5423 [bad stderr] (normal) rts/T5435_v_asm_a.run T5435_v_asm_a [bad stderr] (normal) rts/T5435_v_gcc.run T5435_v_gcc [bad stderr] (normal) rts/T5435_dyn_asm.run T5435_dyn_asm [bad stderr] (normal) rts/T5435_dyn_gcc.run T5435_dyn_gcc [bad stderr] (normal) rts/T7037.run T7037 [bad stderr] (normal) rts/linker_unload.run linker_unload [bad exit code] (normal) rts/T9405.run T9405 [bad stderr] (normal) rts/T10296a.run T10296a [bad stderr] (normal) rts/T1791/T1791.run T1791 [bad stderr] (normal) rts/T8308/T8308.run T8308 [bad stderr] (normal) rts/T9579/T9579_stackoverflow_rtsnone.run T9579_stackoverflow_rtsnone [bad stderr] (normal) rts/T9579/T9579_stackoverflow_rtssome.run T9579_stackoverflow_rtssome [bad stderr] (normal) rts/T9579/T9579_stackoverflow_rtsall.run T9579_stackoverflow_rtsall [bad stderr] (normal) rts/T9579/T9579_stackoverflow_rtsall_no_suggestions.run T9579_stackoverflow_rtsall_no_suggestions [bad stderr] (normal) rts/T9579/T9579_outofheap_rtsnone.run T9579_outofheap_rtsnone [bad stderr] (normal) rts/T9579/T9579_outofheap_rtssome.run T9579_outofheap_rtssome [bad stderr] (normal) rts/T9579/T9579_outofheap_rtsall.run T9579_outofheap_rtsall [bad stderr] (normal) rts/T9579/T9579_outofheap_rtsall_no_suggestions.run T9579_outofheap_rtsall_no_suggestions [bad stderr] (normal) safeHaskell/check/Check04.run Check04 [stderr mismatch] (normal) safeHaskell/check/pkg01/safePkg01.run safePkg01 [bad stderr] (normal) simplCore/should_compile/T3717.run T3717 [stderr mismatch] (optasm) simplCore/should_compile/spec-inline.run spec-inline [stderr mismatch] (optasm) simplCore/should_compile/T4908.run T4908 [stderr mismatch] (optasm) simplCore/should_compile/T4930.run T4930 [stderr mismatch] (optasm) simplCore/should_compile/T3772.run T3772 [bad stdout] (normal) simplCore/should_compile/T4918.run T4918 [bad stdout] (normal) simplCore/should_compile/T7360.run T7360 [stderr mismatch] (optasm) simplCore/should_compile/T8832.run T8832 [bad stdout] (normal) simplCore/should_compile/T12076.run T12076 [stderr mismatch] (normal) simplCore/should_compile/par01.run par01 [stderr mismatch] (optasm) simplCore/should_compile/T13143.run T13143 [stderr mismatch] (optasm) simplCore/should_compile/T12603.run T12603 [bad stdout] (normal) simplCore/should_compile/str-rules.run str-rules [bad stdout] (normal) simplCore/should_compile/T14186.run T14186 [stderr mismatch] (optasm) th/TH_overloadedlabels.run TH_overloadedlabels [exit code non-0] (ext-interp) th/TH_mkName.run TH_mkName [exit code non-0] (ext-interp) th/TH_1tuple.run TH_1tuple [stderr mismatch] (ext-interp) th/TH_repPrim.run TH_repPrim [exit code non-0] (ext-interp) th/TH_repPrim2.run TH_repPrim2 [exit code non-0] (ext-interp) th/TH_repUnboxedTuples.run TH_repUnboxedTuples [exit code non-0] (ext-interp) th/TH_repE2.run TH_repE2 [exit code non-0] (ext-interp) th/TH_spliceGuard.run TH_spliceGuard [exit code non-0] (ext-interp) th/TH_repGuard.run TH_repGuard [exit code non-0] (ext-interp) th/TH_repPrimOutput.run TH_repPrimOutput [exit code non-0] (ext-interp) th/TH_repPrimOutput2.run TH_repPrimOutput2 [exit code non-0] (ext-interp) th/TH_repGuardOutput.run TH_repGuardOutput [exit code non-0] (ext-interp) th/TH_overlaps.run TH_overlaps [exit code non-0] (ext-interp) th/TH_spliceE6.run TH_spliceE6 [exit code non-0] (ext-interp) th/TH_spliceD2.run TH_spliceD2 [exit code non-0] (ext-interp) th/TH_reifyDecl1.run TH_reifyDecl1 [exit code non-0] (ext-interp) th/TH_reifyDecl2.run TH_reifyDecl2 [exit code non-0] (ext-interp) th/TH_reifyLocalDefs.run TH_reifyLocalDefs [exit code non-0] (ext-interp) th/TH_reifyLocalDefs2.run TH_reifyLocalDefs2 [exit code non-0] (ext-interp) th/TH_reifyMkName.run TH_reifyMkName [exit code non-0] (ext-interp) th/TH_reifyInstances.run TH_reifyInstances [exit code non-0] (ext-interp) th/TH_spliceDecl1.run TH_spliceDecl1 [exit code non-0] (ext-interp) th/TH_spliceDecl2.run TH_spliceDecl2 [exit code non-0] (ext-interp) th/TH_spliceE1.run TH_spliceE1 [exit code non-0] (ext-interp) th/TH_spliceExpr1.run TH_spliceExpr1 [exit code non-0] (ext-interp) th/TH_class1.run TH_class1 [exit code non-0] (ext-interp) th/TH_spliceE3.run TH_spliceE3 [exit code non-0] (ext-interp) th/TH_tuple1.run TH_tuple1 [exit code non-0] (ext-interp) th/TH_spliceE4.run TH_spliceE4 [exit code non-0] (ext-interp) th/TH_spliceInst.run TH_spliceInst [exit code non-0] (ext-interp) th/TH_exn1.run TH_exn1 [stderr mismatch] (ext-interp) th/TH_dupdecl.run TH_dupdecl [stderr mismatch] (ext-interp) th/TH_exn2.run TH_exn2 [stderr mismatch] (ext-interp) th/TH_fail.run TH_fail [stderr mismatch] (ext-interp) th/TH_scopedTvs.run TH_scopedTvs [exit code non-0] (ext-interp) th/TH_recover.run TH_recover [exit code non-0] (ext-interp) th/TH_runIO.run TH_runIO [stderr mismatch] (ext-interp) th/TH_linePragma.run TH_linePragma [stderr mismatch] (ext-interp) th/T2700.run T2700 [exit code non-0] (ext-interp) th/T2817.run T2817 [exit code non-0] (ext-interp) th/T2713.run T2713 [stderr mismatch] (ext-interp) th/T2674.run T2674 [stderr mismatch] (ext-interp) th/TH_emptycase.run TH_emptycase [exit code non-0] (ext-interp) th/TH_sections.run TH_sections [exit code non-0] (ext-interp) th/TH_tf1.run TH_tf1 [exit code non-0] (ext-interp) th/TH_tf3.run TH_tf3 [exit code non-0] (ext-interp) th/TH_pragma.run TH_pragma [exit code non-0] (ext-interp) th/T3177.run T3177 [exit code non-0] (ext-interp) th/T3177a.run T3177a [stderr mismatch] (ext-interp) th/T3319.run T3319 [exit code non-0] (ext-interp) th/TH_foreignInterruptible.run TH_foreignInterruptible [exit code non-0] (ext-interp) th/TH_foreignCallingConventions.run TH_foreignCallingConventions [exit code non-0] (ext-interp) th/T3395.run T3395 [stderr mismatch] (ext-interp) th/T3100.run T3100 [exit code non-0] (ext-interp) th/T3920.run T3920 [exit code non-0] (ext-interp) th/T4188.run T4188 [exit code non-0] (ext-interp) th/T4436.run T4436 [exit code non-0] (ext-interp) th/T1835.run T1835 [exit code non-0] (ext-interp) th/T5217.run T5217 [exit code non-0] (ext-interp) th/T5037.run T5037 [exit code non-0] (ext-interp) th/TH_unboxedSingleton.run TH_unboxedSingleton [exit code non-0] (ext-interp) th/T5290.run T5290 [exit code non-0] (ext-interp) th/T5362.run T5362 [exit code non-0] (ext-interp) th/TH_unresolvedInfix2.run TH_unresolvedInfix2 [stderr mismatch] (ext-interp) th/T5358.run T5358 [stderr mismatch] (ext-interp) th/T5404.run T5404 [exit code non-0] (ext-interp) th/T5452.run T5452 [exit code non-0] (ext-interp) th/T5379.run T5379 [exit code non-0] (ext-interp) th/T5410.run T5410 [exit code non-0] (ext-interp) th/T5508.run T5508 [exit code non-0] (ext-interp) th/TH_PromotedTuple.run TH_PromotedTuple [exit code non-0] (ext-interp) th/TH_PromotedList.run TH_PromotedList [exit code non-0] (ext-interp) th/TH_Promoted1Tuple.run TH_Promoted1Tuple [stderr mismatch] (ext-interp) th/TH_RichKinds2.run TH_RichKinds2 [exit code non-0] (ext-interp) th/TH_RichKinds.run TH_RichKinds [exit code non-0] (ext-interp) th/T5882.run T5882 [exit code non-0] (ext-interp) th/T5883.run T5883 [exit code non-0] (ext-interp) th/T1541.run T1541 [exit code non-0] (ext-interp) th/T4135.run T4135 [exit code non-0] (ext-interp) th/T5968.run T5968 [exit code non-0] (ext-interp) th/T5971.run T5971 [stderr mismatch] (ext-interp) th/T5976.run T5976 [stderr mismatch] (ext-interp) th/T6005.run T6005 [exit code non-0] (ext-interp) th/T6005a.run T6005a [exit code non-0] (ext-interp) th/T6114.run T6114 [exit code non-0] (ext-interp) th/TH_TyInstWhere1.run TH_TyInstWhere1 [exit code non-0] (ext-interp) th/TH_StringPrimL.run TH_StringPrimL [exit code non-0] (ext-interp) th/TH_TyInstWhere2.run TH_TyInstWhere2 [exit code non-0] (ext-interp) th/T2222.run T2222 [exit code non-0] (ext-interp) th/T7681.run T7681 [exit code non-0] (ext-interp) th/ClosedFam1TH.run ClosedFam1TH [exit code non-0] (ext-interp) th/ClosedFam2TH.run ClosedFam2TH [exit code non-0] (ext-interp) th/T7910.run T7910 [exit code non-0] (ext-interp) th/TH_Roles1.run TH_Roles1 [stderr mismatch] (ext-interp) th/TH_Roles2.run TH_Roles2 [exit code non-0] (ext-interp) th/TH_Roles3.run TH_Roles3 [exit code non-0] (ext-interp) th/TH_Roles4.run TH_Roles4 [exit code non-0] (ext-interp) th/T4124.run T4124 [exit code non-0] (ext-interp) th/T4128.run T4128 [exit code non-0] (ext-interp) th/T4364.run T4364 [exit code non-0] (ext-interp) th/T8412.run T8412 [stderr mismatch] (ext-interp) th/T8186.run T8186 [exit code non-0] (ext-interp) th/T7667.run T7667 [exit code non-0] (ext-interp) th/T7667a.run T7667a [stderr mismatch] (ext-interp) th/T8499.run T8499 [exit code non-0] (ext-interp) th/T7477.run T7477 [exit code non-0] (ext-interp) th/T8507.run T8507 [exit code non-0] (ext-interp) th/T8759.run T8759 [exit code non-0] (ext-interp) th/TH_StaticPointers.run TH_StaticPointers [exit code non-0] (ext-interp) th/T8807.run T8807 [exit code non-0] (ext-interp) th/T8884.run T8884 [exit code non-0] (ext-interp) th/T8954.run T8954 [exit code non-0] (ext-interp) th/T8932.run T8932 [stderr mismatch] (ext-interp) th/T8987.run T8987 [stderr mismatch] (ext-interp) th/T7241.run T7241 [stderr mismatch] (ext-interp) th/T9199.run T9199 [exit code non-0] (ext-interp) th/T9262.run T9262 [exit code non-0] (ext-interp) th/T9692.run T9692 [exit code non-0] (ext-interp) th/T8953.run T8953 [exit code non-0] (ext-interp) th/T9738.run T9738 [exit code non-0] (ext-interp) th/T9081.run T9081 [exit code non-0] (ext-interp) th/T9066.run T9066 [exit code non-0] (ext-interp) th/T8100.run T8100 [exit code non-0] (ext-interp) th/T9064.run T9064 [exit code non-0] (ext-interp) th/T7484.run T7484 [stderr mismatch] (ext-interp) th/T1476.run T1476 [exit code non-0] (ext-interp) th/T8031.run T8031 [exit code non-0] (ext-interp) th/TH_Lift.run TH_Lift [exit code non-0] (ext-interp) th/T10279.run T10279 [stderr mismatch] (ext-interp) th/T10306.run T10306 [exit code non-0] (ext-interp) th/T10596.run T10596 [exit code non-0] (ext-interp) th/T10598_TH.run T10598_TH [exit code non-0] (ext-interp) th/T10638.run T10638 [stderr mismatch] (ext-interp) th/T10620.run T10620 [exit code non-0] (ext-interp) th/T10697_decided_1.run T10697_decided_1 [exit code non-0] (ext-interp) th/T10697_decided_2.run T10697_decided_2 [exit code non-0] (ext-interp) th/T10697_decided_3.run T10697_decided_3 [exit code non-0] (ext-interp) th/T6018th.run T6018th [stderr mismatch] (ext-interp) th/T10811.run T10811 [exit code non-0] (ext-interp) th/T10796a.run T10796a [exit code non-0] (ext-interp) th/T10796b.run T10796b [stderr mismatch] (ext-interp) th/T10810.run T10810 [exit code non-0] (ext-interp) th/T10828.run T10828 [exit code non-0] (ext-interp) th/T10828a.run T10828a [stderr mismatch] (ext-interp) th/T10828b.run T10828b [stderr mismatch] (ext-interp) th/T10891.run T10891 [exit code non-0] (ext-interp) th/T11341.run T11341 [exit code non-0] (ext-interp) th/TH_finalizer.run TH_finalizer [exit code non-0] (ext-interp) th/T10820.run T10820 [exit code non-0] (ext-interp) th/T11345.run T11345 [exit code non-0] (ext-interp) th/T10603.run T10603 [exit code non-0] (ext-interp) th/T11145.run T11145 [stderr mismatch] (ext-interp) th/T11721_TH.run T11721_TH [exit code non-0] (ext-interp) th/T11680.run T11680 [stderr mismatch] (ext-interp) th/T11809.run T11809 [exit code non-0] (ext-interp) th/T11463.run T11463 [exit code non-0] (ext-interp) th/T11797.run T11797 [exit code non-0] (ext-interp) th/T11484.run T11484 [exit code non-0] (ext-interp) th/T11629.run T11629 [exit code non-0] (ext-interp) th/T12387.run T12387 [stderr mismatch] (ext-interp) th/T8761.run T8761 [exit code non-0] (ext-interp) th/T12407.run T12407 [exit code non-0] (ext-interp) th/T12403.run T12403 [exit code non-0] (ext-interp) th/T12478_3.run T12478_3 [exit code non-0] (ext-interp) th/T12478_4.run T12478_4 [stderr mismatch] (ext-interp) th/T12478_5.run T12478_5 [exit code non-0] (ext-interp) th/T12503.run T12503 [exit code non-0] (ext-interp) th/T12478_1.run T12478_1 [exit code non-0] (ext-interp) th/T12478_2.run T12478_2 [exit code non-0] (ext-interp) th/T12513.run T12513 [stderr mismatch] (ext-interp) th/T12646.run T12646 [exit code non-0] (ext-interp) th/T12530.run T12530 [exit code non-0] (ext-interp) th/T12977.run T12977 [exit code non-0] (ext-interp) th/T13018.run T13018 [exit code non-0] (ext-interp) th/T12993.run T12993 [exit code non-0] (ext-interp) th/T13123.run T13123 [exit code non-0] (ext-interp) th/T13098.run T13098 [exit code non-0] (ext-interp) th/T11046.run T11046 [exit code non-0] (ext-interp) th/T13642.run T13642 [exit code non-0] (ext-interp) th/T13618.run T13618 [exit code non-0] (ext-interp) th/T13781.run T13781 [exit code non-0] (ext-interp) th/T13366.run T13366 [exit code non-0] (ext-interp) th/T13782.run T13782 [exit code non-0] (ext-interp) th/T13837.run T13837 [stderr mismatch] (ext-interp) th/T13856.run T13856 [exit code non-0] (ext-interp) th/T13968.run T13968 [stderr mismatch] (ext-interp) th/T13885.run T13885 [exit code non-0] (ext-interp) th/T14204.run T14204 [stderr mismatch] (ext-interp) th/T14646.run T14646 [exit code non-0] (ext-interp) th/T13887.run T13887 [exit code non-0] (ext-interp) th/T14681.run T14681 [exit code non-0] (ext-interp) th/T14060.run T14060 [exit code non-0] (ext-interp) th/T14817.run T14817 [exit code non-0] (ext-interp) th/T14843.run T14843 [exit code non-0] (ext-interp) th/T13776.run T13776 [exit code non-0] (ext-interp) th/T14875.run T14875 [exit code non-0] (ext-interp) th/T14885a.run T14885a [exit code non-0] (ext-interp) th/T14298.run T14298 [exit code non-0] (ext-interp) th/T14885b.run T14885b [exit code non-0] (ext-interp) th/T14885c.run T14885c [exit code non-0] (ext-interp) th/T15243.run T15243 [exit code non-0] (ext-interp) th/T15331.run T15331 [exit code non-0] (ext-interp) th/T15324.run T15324 [exit code non-0] (ext-interp) th/T15365.run T15365 [exit code non-0] (ext-interp) th/T15518.run T15518 [exit code non-0] (ext-interp) th/T15502.run T15502 [exit code non-0] (ext-interp) th/T15550.run T15550 [exit code non-0] (ext-interp) th/T15572.run T15572 [exit code non-0] (ext-interp) th/T15481.run T15481 [exit code non-0] (ext-interp) th/TH_recover_warns.run TH_recover_warns [exit code non-0] (ext-interp) typecheck/T13168/T13168.run T13168 [bad stderr] (normal) typecheck/bug1465/bug1465.run bug1465 [bad stderr] (normal) typecheck/should_compile/tc263.run tc263 [stderr mismatch] (normal) typecheck/should_fail/T13292.run T13292 [stderr mismatch] (normal) unboxedsums/T14051.run T14051 [stderr mismatch] (normal) unboxedsums/module/sum_mod.run sum_mod [bad stderr] (normal) warnings/should_compile/T10890/T10890.run T10890 [stderr mismatch] (normal) warnings/should_compile/T10890/T10890_1.run T10890_1 [stderr mismatch] (normal) warnings/should_compile/T13727/T13727a.run T13727a [stderr mismatch] (normal) warnings/should_compile/T13727/T13727b.run T13727b [stderr mismatch] (normal) warnings/should_compile/T13727/T13727c.run T13727c [stderr mismatch] (normal) warnings/should_compile/T13727/T13727d.run T13727d [stderr mismatch] (normal) warnings/should_compile/T13727/T13727e.run T13727e [stderr mismatch] (normal) warnings/should_compile/T13727/T13727f.run T13727f [stderr mismatch] (normal) warnings/should_compile/T13727/T13727g.run T13727g [stderr mismatch] (normal) warnings/should_compile/T13727/T13727h.run T13727h [stderr mismatch] (normal) warnings/should_compile/T13727/T13727i.run T13727i [stderr mismatch] (normal) warnings/should_compile/T13727/T13727j.run T13727j [stderr mismatch] (normal) warnings/should_compile/T13727/T13727k.run T13727k [stderr mismatch] (normal) ../../libraries/base/tests/IO/T3307.run T3307 [bad stderr] (normal) ../../libraries/base/tests/IO/environment001.run environment001 [bad stderr] (normal) ../../libraries/base/tests/IO/T12010/T12010.run T12010 [bad stderr] (threaded1) ../../libraries/base/tests/IO/concio001.run concio001 [bad stderr] (normal) ../../libraries/base/tests/IO/concio001.thr.run concio001.thr [bad stderr] (normal) Unexpected stat failures: perf/compiler/T12425.run T12425 [stat not good enough] (optasm) perf/compiler/T10370.run T10370 [stat not good enough] (optasm) perf/compiler/T9630.run T9630 [stat not good enough] (normal) perf/haddock/haddock.base.run haddock.base [stat not good enough] (normal) perf/haddock/haddock.Cabal.run haddock.Cabal [stat not good enough] (normal) perf/haddock/haddock.compiler.run haddock.compiler [stat not good enough] (normal) perf/should_run/T9203.run T9203 [stat too good] (normal)

4 8

Unused imports
by Simon Peyton Jones 23 Nov '18

23 Nov '18

I'm getting lots of these failures. Has someone forgotten to do a submodule update? I'm up to date on a clean head and have done 'git submodule update' Help! Simon libraries/containers/Data/IntSet/Internal.hs:198:1: error: [-Wunused-imports, -Werror=unused-imports] The import of '<>' from module 'Data.Semigroup' is redundant | 198 | import Data.Semigroup (Semigroup((<>), stimes), stimesIdempotentMonoid) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ libraries/containers/Data/IntSet/Internal.hs:220:1: error: [-Wunused-imports, -Werror=unused-imports] The import of 'Data.Foldable' is redundant except perhaps to import instances from 'Data.Foldable' To import instances alone, use: import Data.Foldable() | 220 | import Data.Foldable (Foldable()) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

2 1

Head badly broken
by Simon Peyton Jones 23 Nov '18

23 Nov '18

>From a clean build of HEAD, I’m getting tons of failures like this T5490.hs:19:22: error: Illegal symbol '.' in type Perhaps you meant to write 'forall <tvs>. <type>'? | 19 | | ∀ e . Exception e ⇒ Failure e | ^ This is in typecheck/should_compile Then I also get errors in things like typecheck/should_fail/tcfail190, where the output differs from the .stderr file in by the presence of bullets in GHC’s output. The bullets seem to be missing from the tcfail190.stderr file. This is really painful. I can’t validate. Any ideas? Simon

1 0

How to distinguish local ids from imported ones in Stg? Confused about isLocalId/isLocalVar
by Ömer Sinan Ağacan 23 Nov '18

23 Nov '18

Hi, I just found out that semantics of isLocalId/isLocalVar change during compilation. I realized this the hard way (after some debugging) but later realized that this is documented in this note: (the last line) Note [GlobalId/LocalId] ~~~~~~~~~~~~~~~~~~~~~~~ A GlobalId is * always a constant (top-level) * imported, or data constructor, or primop, or record selector * has a Unique that is globally unique across the whole GHC invocation (a single invocation may compile multiple modules) * never treated as a candidate by the free-variable finder; it's a constant! A LocalId is * bound within an expression (lambda, case, local let(rec)) * or defined at top level in the module being compiled * always treated as a candidate by the free-variable finder After CoreTidy, top-level LocalIds are turned into GlobalIds So after after simplification we can't distinguish a local id from an imported one. Apparently I'm not the only one who was confused by this. In StgLint we check in-scope variables with this: checkInScope :: Id -> LintM () checkInScope id = LintM $ \_lf loc scope errs -> if isLocalId id && not (id `elemVarSet` scope) then ((), addErr errs (hsep [ppr id, dcolon, ppr (idType id), text "is out of scope"]) loc) else ((), errs) Note that isLocalId here returns false for local but top-level bindings. Because of this if I drop some top-level bindings in the module I don't get a lint error even though some ids become unbound. I need to distinguish a top-level bound id from an imported id for two things: - I want to make sure, in StgLint, that bindings in the Stg program are in dependency order (uses come after definitions). For this I need to treat imported ids as already bound, but for top-level bound ids I need to check if I already saw the definition. - I want to run an analysis to map top-level bindings to whether they can contain CAF refs. For this for a top-level bound id I should check the environment, but for imported ids I should check idInfo. The second analysis depends on the first property for efficiency. I could assume that the first property holds and then always check the environment first in the analysis, and treat ids that are not in the environment as imported, but that seems fragile. I'm wondering why we have to turn LocalIds into GlobalIds after simplification. The note doesn't explain the reasoning. Would it be possible to preserve idScope of ids during the whole compilation? Thanks, Ömer

2 1