[Agda] Slow type-checking of records

[Nils Anders Danielsson]

On 2016-03-11 14:42, Nils Anders Danielsson wrote:
> I found some potential sources of quadratic behaviour in the
> occurrence machinery, but addressing those wasn't enough to make your
> code type-check in a reasonable amount of time on my machine.

I found another problem. I've created a ticket on the bug tracker:
https://github.com/agda/agda/issues/1901.

-- 
/NAD