Skip to content

Consider exposing all functions taking a dictionary argument.

This should allow SPECIALIZE to succeed more often without having to rely on the the sledgehammer that is -fexpose-all-unfoldings.

It's still far from perfect but seems like a reasonable change. I wrote up a small poc here !9940 (closed) which always exposes such overloaded bindings. Alternatively this could also be hidden behind a flag and perhaps implied by -O2/-fspecialise-aggressively.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information