• Ryan Scott's avatar
    Refactoring: Use bindSigTyVarsFV in rnMethodBinds · 9afd9251
    Ryan Scott authored
    `rnMethodBinds` was explicitly using `xoptM` to determine if
    `ScopedTypeVariables` is enabled before bringing type variables
    bound by the class/instance header into scope. However, this `xoptM`
    logic is already performed by the `bindSigTyVarsFV` function. This
    patch uses `bindSigTyVarsFV` in `rnMethodBinds` to reduce the number
    of places where we need to consult if `ScopedTypeVariables` is on.
    This is purely refactoring, and there should be no user-visible
    change in behavior.
Bind.hs 54.5 KB