On Thu, Jan 12, 2017 at 12:36 PM, Iavor Diatchki
wrote:
When enabled, the plugin will save the Core generated by GHC in JSON
format, and also render it in HTML for human inspection.
Thank you, this is awesome! Much more friendly than standard core dumps.