From 85baf4fc82e9339c74f9f83cc2360783725adc37 Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Thu, 19 Jan 2023 15:24:15 -0500 Subject: testsuite: Enable -dlint in the `sanity` way Here we enable GHC's `-dlint` flag in the `sanity` testsuite way. This should have minimal additional cost (relative to the existing cost of `+RTS -DS`) but considering improve testing coverage. --- testsuite/config/ghc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/testsuite/config/ghc b/testsuite/config/ghc index 85c8b27c9e..a129b9a2cc 100644 --- a/testsuite/config/ghc +++ b/testsuite/config/ghc @@ -94,7 +94,7 @@ config.way_flags = { 'profasm' : ['-O', '-prof', '-static', '-fprof-auto'], 'profthreaded' : ['-O', '-prof', '-static', '-fprof-auto', '-threaded'], 'ghci' : ['--interactive', '-v0', '-ignore-dot-ghci', '-fno-ghci-history', '+RTS', '-I0.1', '-RTS'] + (['-fghci-leak-check'] if not config.compiler_debugged else []), - 'sanity' : ['-debug'], + 'sanity' : ['-debug', '-dlint'], 'threaded1' : ['-threaded', '-debug'], 'threaded1_ls' : ['-threaded', '-debug'], 'threaded2' : ['-O', '-threaded'], -- cgit v1.2.1