• Joachim Breitner's avatar
    Rename SigTv to TyVarTv (#15480) · a50244c6
    Joachim Breitner authored
    because since #15050, these are no longer used in pattern SIGnatures,
    but still in other places where meta-variables should only be unified
    with TYpe VARiables.
    
    I also found mentions of `SigTv` in parts of the renamer and desugarer
    that do not seem to directly relate to `SigTv` as used in the type
    checker, but rather to uses of `forall a.` in type signatures. I renamed
    these to `ScopedTv`.
    
    Differential Revision: https://phabricator.haskell.org/D5074
    a50244c6
DsMeta.hs 104 KB