Skip to content

Remove unnecessary extendTyVarEnvFVRn function

Ryan Scott requested to merge wip/remove-extendTyVarEnvFVRn into master

The extendTyVarEnvFVRn function does the exact same thing as bindLocalNamesFV. I see no meaningful distinction between the two functions, so let's just remove the former (which is only used in a handful of places) in favor of the latter.

Historical note: extendTyVarEnvFVRn and bindLocalNamesFV used to be distinct functions, but their implementations were synchronized in 2004 as a part of commit 20e39e0e.

Merge request reports