performance regressions

[Herbert Valerio Riedel]

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 <eir at cis.upenn.edu> 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.