• niteria's avatar
    Rename FV related functions · 2e33320a
    niteria authored
    This is from Simon's suggestion:
    
    * `tyCoVarsOfTypesAcc` is a terrible name for a function with a
      perfectly decent type `[Type] -> FV`. Maybe `tyCoFVsOfTypes`?
      Similarly others
    
    * `runFVList` is also terrible, but also has a decent type.
      Maybe just `fvVarList` (and `fvVarSet` for `runFVSet`).
    
    * `someVars` could be `mkFVs :: [Var] -> FV`.
    2e33320a
Coercion.hs 71 KB