purescript / purescript-record

Functions for working with records and polymorphic labels
BSD 3-Clause "New" or "Revised" License
70 stars 31 forks source link

stack-safe Builder #27

Closed matthewleon closed 6 years ago

matthewleon commented 6 years ago

It would be nice to see Builder be stack-safe, if possible. This might involve abandoning its current definition as a newtype on a -> b: https://github.com/purescript/purescript-record/blob/70dd33a78833c2c08d44768a18a9b2fe43bb8447/src/Data/Record/Builder.purs#L34-L34

matthewleon commented 6 years ago

I'm wrong here. Stack safety issues don't come from Builder, but from my use of the Join Profunctor.