GHC can dump its optimized intermediate code (said to be in “Core” format)
to a file as a side-effect of compilation. Core files, which are given the suffix
.hcr, can be read and processed by non-GHC back-end
tools. The Core format is formally described in
An External Representation for the GHC Core Language,
and sample tools (in Haskell)
for manipulating Core files are available in the GHC source distribution
Note that the format of
files is different (though similar) to the Core output format generated
for debugging purposes (Section 4.16, “Debugging the compiler”).
The Core format natively supports notes which you can add to
your source code using the
CORE pragma (see Section 7.9, “Pragmas”).
GHC can also read in External Core files as source; just give the
.hcr file on
the command line, instead of the
.lhs Haskell source.
A current infelicity is that you need to give the
-fglasgow-exts flag too, because
ordinary Haskell 98, when translated to External Core, uses things like rank-2 types.