generic-data icon indicating copy to clipboard operation
generic-data copied to clipboard
verified publisher icon Lysxia

Better simplfiication for big types

Open Lysxia opened this issue 5 years ago • 0 comments

The generic machinery is sadly not getting simplified away for big enough types. For an example, see the test case eqBigR =/= eqBigG in test/inspection.hs. The generically derived (==) (eqBigG) simplifies to a join point applied to a Rep in each of the 5 branches after pattern-matching on the first argument. How to get this join point to be inlined?

Lysxia avatar Aug 02 '20 00:08 Lysxia