Could somebody explain to me about the removal of deriving for records in generics-rep - https://github.com/purescript/purescript/pull/3007. Seems as if the migration to 0.12 must involve RowToList, I’m attempting to migrate this - https://github.com/newlandsvalley/purescript-midi/blob/master/src/Data/Midi.purs.
The idea is that with RowToList available now, we don’t need generics-rep to support records any more. We can write instances for Record directly instead.
The idea is that with RowToList available now, we don’t need generics-rep to support records any more. We can write instances for Record directly instead.
The reason why @newlandsvalley can’t migrate their code is because genericOrd support for records was removed and not replaced with an Ord instance for records.
2 Likes