Laziness in CoreTidy can double memory usage as
In this profile, both bands are allocations of IdInfo
, the dark blue band are the IdInfos created during tidying, the light blue band is the IdInfos which are tidied. You can see that the tidied
IdInfos live long after the end of tidying has finished.
There a number of thunks which could account for this extra retention. I have systematically fixed them.