GitLab

Try this:

bash$ cd testsuite/tests/simplCore/should_compile
bash$ make TEST=T20200

The test is run without -dcore-lint which is bad!

How do I know this? It's a bit laborious. I see the output

PYTHON="python3" "python3" ../../../driver/runtests.py  -e "ghc_compiler_always_flags='-dcore-lint -dstg-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=False" -e ghc_with_native_codegen=True -e "config.leading_underscore=False" -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=True -e config.unregisterised=False -e config.have_gdb=False -e config.have_readelf=True -e config.have_fast_bignum=False -e config.ghc_dynamic=True -e ghc_with_smp=True -e config.have_RTS_linker=True -e config.libdir="\"/home/simonpj/code/HEAD-5/inplace/lib\"" -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 --top="/home/simonpj/code/HEAD-5/testsuite" -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=""' --config 'compiler="/home/simonpj/code/HEAD-5/inplace/bin/ghc-stage2"' --config 'ghc_pkg="/home/simonpj/code/HEAD-5/inplace/bin/ghc-pkg"' --config 'haddock=' --config 'hp2ps="/home/simonpj/code/HEAD-5/inplace/bin/hp2ps"' --config 'hpc="/home/simonpj/code/HEAD-5/inplace/bin/hpc"' --config 'gs="gs"' --config 'timeout_prog="../../../timeout/install-inplace/bin/timeout"' --config 'stats_files_dir=../../../tests/perf/haddock' -e "config.stage=2"  \
	 --only=T20200

So I copy/paste that command line, adding --verbose=4. Then I see

=====> T20200(normal) 1 of 1 [0, 0, 0]
cd "T20200.run" &&  "/home/simonpj/code/HEAD-5/inplace/bin/ghc-stage2" -c T20200.hs -no-user-package-db -rtsopts -fno-warn-missed-specialisations -fshow-warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -Werror=compat -dno-debug-output  < 

No -dcore-lint! Yet, notice that ghc_compiler_always_flags='-dcore-lint -dstg-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'" bit in the Python invocation.

What should I do to fix this?