On Dec 19, 2018, at 2:25 PM, Andrew Martin <andrew.thaddeus@gmail.com> wrote:How does one go about using -ddump-simpl -dsuppress-all -ddump-to-file (or variations of this) when building base?