-ddump-tc (and other -ddump flags) not working with :k in ghci
Summary
On the current GHC master, as well as an older GHC (8.7), :k is not printing several dumps. I tried the following flags without any output:
- ddump-rn
- ddump-rn-ast
- ddump-rn-stats
- ddump-tc
- ddump-tc-ast
I got output with:
- ddump-parsed
- ddump-parsed-ast
- ddump-rn-trace
- ddump-tc-trace
cc @rae
I will start to investigate this, but any input would be helpful.
Steps to reproduce
- Run GHC with
--interactive
- Enter
:set -<flag here>
with a flag from the list above - Type
:k <some type>
for example I used'[Int]
Expected behavior
Some output besides the result of :k
Environment
- GHC version used: 8.9 (current master -- 75c6ccf7)
Optional:
- Operating System: Arch Linux
- System Architecture: x86_64