You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I ran into it by using purescript-quickcheck with purescript-reactnative. The former depends on purescript-record and the latter on purescript-records.
The text was updated successfully, but these errors were encountered:
In 5.0.0 instead of relying on purescript-records it now just has it's own Optional class. Eventually when purescript-record has the required functionality it'll depend on that.
I ran into it by using purescript-quickcheck with purescript-reactnative. The former depends on purescript-record and the latter on purescript-records.
The text was updated successfully, but these errors were encountered: