Skip to content

Add buildFromScratch #53

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

Merged
merged 1 commit into from
Oct 17, 2020
Merged

Conversation

kl0tl
Copy link
Member

@kl0tl kl0tl commented Apr 29, 2019

Close #52.

@kl0tl kl0tl force-pushed the build-from-scratch branch from d0f62a2 to 0d05fe5 Compare April 29, 2019 17:31
@hdgarrood
Copy link
Contributor

Looks good to me, does anyone else have any thoughts?

@justinwoo
Copy link
Contributor

Only question is why "scratch" and not "empty"? We have a Record.empty right?

@kl0tl kl0tl force-pushed the build-from-scratch branch from 0d05fe5 to de4529a Compare April 29, 2019 18:18
@kl0tl
Copy link
Member Author

kl0tl commented Apr 29, 2019

I’m happy to rename to whatever is preferred. Please note that there’s currently no Record.empty though.

@kl0tl
Copy link
Member Author

kl0tl commented Feb 8, 2020

Should I rename to buildFromEmpty or close that PR? It could also be the occasion to add Record.empty.

@hdgarrood
Copy link
Contributor

I don’t think we need a Record.empty when we already have {}.

@hdgarrood hdgarrood merged commit 12ae04b into purescript:master Oct 17, 2020
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.

Alternative build for building a record from scratch
3 participants