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

Efficient object updates for closed records #3321

Merged
merged 2 commits into from Apr 25, 2018

Conversation

Projects
None yet
2 participants
@garyb
Copy link
Member

garyb commented Apr 25, 2018

Resolves #1493, closes #3244

This is a cherry-picked version of #3244 that is based on master.

@garyb garyb changed the title Updated closed records Efficient object updates for closed records Apr 25, 2018

@garyb

This comment has been minimized.

Copy link
Member

garyb commented Apr 25, 2018

@fehrenbach thanks for working on this :)

@garyb garyb merged commit b4b3174 into purescript:master Apr 25, 2018

2 checks passed

continuous-integration/appveyor/pr AppVeyor build succeeded
Details
continuous-integration/travis-ci/pr The Travis CI build passed
Details

@garyb garyb deleted the garyb:updated-closed-records branch Apr 25, 2018

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment