Skip to content
GitLab

Unused argument removal

Merged Jordy Aaldering requested to merge unused-argument-removal into develop

Implementation of the unused argument removal optimisation. This optimisation removes unused formal parameters from function definitions and removes corresponding actual arguments from applications of these functions.