Rename SigTv to TyVarTv (#15480)
ClosedPublic

Authored by nomeata on Aug 16 2018, 7:20 PM.

Details

Summary

because since Trac #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.

Diff Detail

Repository
rGHC Glasgow Haskell Compiler
Lint
Automatic diff as part of commit; lint not applicable.
Unit
Automatic diff as part of commit; unit tests not applicable.
nomeata created this revision.Aug 16 2018, 7:20 PM
nomeata added a comment.EditedAug 16 2018, 8:18 PM

Ugh, I get test case failures locally. Let’s see if Phabricator seems them as well, or if my local setup is broken. And if they are there, where did I do a typo – this is a pure renaming of symbols!

This revision was not accepted when it landed; it landed in state Needs Review.Aug 16 2018, 10:59 PM
This revision was automatically updated to reflect the committed changes.