Skip to content

Tidy: Expose unfoldings if they take dictionary arguments by default.

Little experiment I did on my own.

For any function f :: C a => ... always expose the unfolding to allow later specialization if needed.

This avoids most of the cost of -fexpose-all-unfoldings and allows specialization to succeed more often when upstream functions haven't been explicitly labeled as INLINE[ABLE].

See also #13090


[] Add release note

Edited by Andreas Klebinger

Merge request reports