
Hello Richard, Can you please push the fix asap to master? This performance failures are causing distracting false alarms (in terms of validation failures) on each pushed commit as well as submitted code-revisions. Thanks, HVR On 2014-12-13 at 16:55:40 +0100, Richard Eisenberg wrote:
Fixed, hopefully!
On Dec 13, 2014, at 10:03 AM, Richard Eisenberg
wrote: I think I've fixed this. I've pushed the fix to wip/rae, and waiting for validation results before pushing to master.
My hunch below was right -- it was the change to matchFam, which essentially evaluated type-level functions more strictly. I've now made it lazier again. I'd like to better understand the tradeoff here, and to see if there's a principled sweet spot. But that will happen in a few days.
Expect a push to master soon.
Again, sorry for the bother.