Merge experiments onto main 2025-06-02#36
Merged
Conversation
wavewave
commented
Jun 3, 2025
wavewave
commented
Collaborator
- SigTERM handler
- Copy Interp to the cache
- A few refatoring
Change-Id: Id7ce3f807787c974f96392b2d531df737c4ba13c
When multiple threads attempt to write the same file, the program crashes Change-Id: Iec2a526b2139ca7067704a7769aaf89a3d8d1f9a
Change-Id: I8d030c719cbd5eccdff037af8d0f61e2819f454d
Change-Id: I54dc3ea6cbf0f3866c17e94b4a8e43e4607a0c05
Change-Id: Iddd4fa5730d27c996525ba83394de0a966eb11fd
Change-Id: I13f967f82d3b64e92933464854b568a76af3c1d6
Change-Id: I675fd1a3abe3fed9c3ea679008fa285c5e22b3ae
Change-Id: Ica495665e24d8a03f77754de73b7037097e82b8a
This is a quick fix, we'll build something more solid next. The `Interp` is initialized only in `setTopSessionDynFlags` after the flags have been parsed, not in `newHscEnv`. This has the effect that the `MVar` in `Loader` will be recreated in each module compilation, causing significant memory leaks. Change-Id: I78193633d4ecebcb719f6e313c18aeb402b95169
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.