-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

1. Run GHC with --interactive
2. Enter :set -<flag here> with a flag from the list above
3. 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