Rename SigTv
After #15050 (closed) and [changeset:"4d91cabc/ghc" 4d91cabc/ghc] it seems odd to call SigTv
for the kind of type variables that used to be used in type signatures in patterns, but are now used in other places (kind signatures, partial type signatures).
Also, SigTv
may be associated with sigma. At some point I assumed that SigTv
are type variables that may unify with polytypes, while TauTv
are those that unify with monotypes.
As a service to our future self, I’d like to rename SigTv
. Suggestions?
Best one I have is TvTv
or TyVarTv
(for a type variable that stands for a type variable).
Trac metadata
Trac field | Value |
---|---|
Version | 8.5 |
Type | Task |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | goldfire |
Operating system | |
Architecture |