On 2018-02-27 09:55 PM, Brandon Allbery wrote:
-fext-core wasn't about exporting it, but about accepting core as *source* ("external core"). Which was always tricky and was broken for years before the option was removed.


Thanks. I see I should have been using `-ddump-simpl` instead.