Removal of deriving for records in generics-rep

#1

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.

#2

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.

#3

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