haskell - Make GHC only type-check?

Question

Is there a way, either standard, or a clever hack, to make invoking GHC on a file only run the type-checker? E.g.

$ ghc --just-check-the-types x.hs
$

No output files, no .hi or .o, etc. Don't want to/can't use the GHC API. Just talking about the command-line program, here.

Answer 1

What about ghc -fno-code file.hs. It will generate no other files and will show errors if your files don't typecheck.

Caveat: this will not do analysis on in-exhaustive pattern matches, so if you want those additional useful warnings, don't use this option alone.