Hunting down a compilation performance regression involving type families

2017-05-31 Thread Ryan Scott
Richard, In an effort to figure out why programs with lots of type families have become so much slower over the last few GHC releases, I've been looking at GHC Trac #12545 [1], which provides a very self-contained test case that became considerably slower to compile from GHC 7.10 to 8.0. Thanks to

Re: Hunting down a compilation performance regression involving type families

2017-05-31 Thread Richard Eisenberg
> On May 31, 2017, at 5:21 PM, Ryan Scott wrote: > Does you know what might be going on here? I think so, but I don't know how to fix it. The commit you found (thank you!) makes simple_opt_expr (the "simple optimizer", run directly after desugaring, even with -O0) a little more selective in w