Skip to content

Efficient object updates for closed records - #3321

Merged
garyb merged 2 commits into
purescript:masterfrom
garyb:updated-closed-records
Apr 25, 2018
Merged

Efficient object updates for closed records #3321
garyb merged 2 commits into
purescript:masterfrom
garyb:updated-closed-records

Conversation

@garyb

@garyb garyb commented Apr 25, 2018

Copy link
Copy Markdown
Member

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

garyb commented Apr 25, 2018

Copy link
Copy Markdown
Member Author

@fehrenbach thanks for working on this :)

@garyb
garyb merged commit b4b3174 into purescript:master Apr 25, 2018
@garyb
garyb deleted the updated-closed-records branch April 25, 2018 17:45
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.

Efficient object updates for closed records

2 participants