Add roles declarations to allow safe coercions

purescript / purescript-record

Functions for working with records and polymorphic labels

BSD 3-Clause "New" or "Revised" License

70 stars 31 forks source link

Closed kl0tl closed 3 years ago

kl0tl commented 4 years ago

I couldn’t think of a case where a phantom roled region is an issue but in doubt I preferred to keep it nominal.

JordanMartinez commented 3 years ago

Duplicate of #65, which was merged in #66