Hi,
Since my hopes of finally merging Nested CPR have recently been crushed again, I hope that we can include the implementation of the UnliftedDatatypes extension (
proposal,
implementation).
It was on ice since it depends on the BoxedRep proposal, but if BoxedRep is going to make it,
surely UnliftedDatatypes can make it, too.
I expect quite a few bugs, simply because I don't have much code to test it on yet. But I'm very confident that existing code isn't impacted by that, as most of the functionality (CodeGen for unlifted types, most importantly) was already there and I only had to refine a conditional here and there.
Cheers,
Sebastian