Specialization and dead code elimination

Learn
1

Hi All,

I am struggling with code optimization.

I have a polymorphic function fun in module A that is only used in module B. Adding -fexpose-overloaded-unfoldings -fspecialise-aggressively caused GHC to generate a specialized version of fun in module B. So far so good.
But it appears polymorphic version of fun is still present in the resulting executable (even though it is unused).
How to ensure only specialized version of fun is present in the generated executable?

Thanks for any hints.

EDIT: could that be a Mac (Darwin) specific issue?

2

Yes, it seems the linker or MacOS doesn’t remove dead sections. On Linux I see that such unused functions are removed from the binary.