Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update to latest master branch of immer #438

Merged
merged 3 commits into from
Oct 15, 2021
Merged

Update to latest master branch of immer #438

merged 3 commits into from
Oct 15, 2021

Conversation

dwightguth
Copy link
Collaborator

@dwightguth dwightguth commented Oct 15, 2021

I am updating to the latest master branch of immer because the new_gc branch seems to need custom support from the immer library in order to be able to correctly evacuate map and set iterators that are roots on the stack. I want to make the changes to immer in a manner that is suitable for being merged upstream, so it will prove helpful to first be based on the latest master of immer.

Note we do not use the exact commit of the latest master, because it turns out the latest master includes some changes that introduce a regression for the migrateRoots function in our llvm backend runtime which handles migrating global variable pointers into the kore heap. I had to make some minor tweaks to the immer library to make it work again, and thus I am currently pointing our submodule to our fork of immer, where I have pushed the changes I made. I already created a PR upstream in the immer repository (arximboldi/immer#189) which contains the changes I have made which I hope to get merged upstream. The plan is to point the submodule back at the upstream repository on the master branch once my changes get merged upstream.

@dwightguth dwightguth marked this pull request as ready for review October 15, 2021 20:41
@dwightguth dwightguth requested review from Baltoli and theo25 October 15, 2021 20:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants