-
Notifications
You must be signed in to change notification settings - Fork 207
Fix a memory leak found by mpickering #1305
Conversation
@alanz implemented your suggestion |
Thanks @lorenzo |
Hello, I came here as a consequence of reading https://lukelau.me/haskell/posts/leak/. I would be very interested to know, if the information is available, whether any space improvement was actually seen as a result of merging this PR. @bubba's PR had already been merged the day before and should make this PR redundant. In particular, I have spent, many, many, days investigating the causes of various space leaks. I'm trying to come up with a set of principles that make it easy to write space-leak-free code. I would like to test my principles against the space leak that you have discovered. If this PR did indeed remove a space leak then my principles are incorrect and i need to go back to the drawing board! |
(Oh, and I got to Luke Lau's post via https://mpickering.github.io/ide/posts/2020-05-08-state-of-haskell-ide.html) |
The code-base has changed signifitcantly since this PR has been merged. |
That may be so, but I'm wondering whether there is any residual evidence either way that this PR helped. |
I am sorry, I dont think we have any hard numbers anymore. Doesnt the blog post state that the leak has been solved? |
Sure, I've no doubt the space leak has been solved. My question is whether it was by this PR or by @bubba's earlier PR. |
@tomjaguarpaw these PRs might have been created in parallel - it does seem strange that we enforce strictness here as well. You might want to checkout to both of these revisions and try running the script from the blog post to see if it does make a difference. Otherwise this was probably done out of an abundance of caution |
closes #1296