Closed kl0tl closed 3 years ago
Looks good to me, does anyone else have any thoughts?
Only question is why "scratch" and not "empty"? We have a Record.empty right?
I’m happy to rename to whatever is preferred. Please note that there’s currently no Record.empty
though.
Should I rename to buildFromEmpty
or close that PR? It could also be the occasion to add Record.empty
.
I don’t think we need a Record.empty when we already have {}
.
Close https://github.com/purescript/purescript-record/issues/52.