By the time we do CorePrep, the hi files should already have been written.
I don't think so. When we generate real code we write the interface after the
backend has generated the output object. See Note [Writing interface files] in
GHC.Driver.Main
Cheers,
Sylvain
On 17/09/2020 12:17, Cheng S
Hi Ben,
The -ddump-if-trace output is attached here. The error is produced
when compiling GHC.Types in ghc-prim.
> Note that interface files are written after the Core pipeline is run.
Sorry for the confusion, I didn't mean the Core simplifier pipeline. I
mean the "Core -> Iface -> Core" roundtr
