On Tue, 28 Apr 2020 at 08:13, Henning Thielemann <lemming@henning-thielemann.de> wrote:

On Tue, 28 Apr 2020, Ben Franksen wrote:

> I remember that I can save memory by aborting compilation
and restart it. It seems that GHC may cache too much.

I've also experienced this multiple times (e.g., with Qt, which is huge, and with yesod apps).

Could this also be indicative of a leak?

I sometimes wonder if the developers behind some libraries operate with resources that are far beyond what any of us have or can afford.

Ivan