#15480: Rename SigTv -------------------------------------+------------------------------------- Reporter: nomeata | Owner: (none) Type: task | Status: patch Priority: normal | Milestone: Component: Compiler | Version: 8.5 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D5074 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Joachim Breitner <mail@…>): In [changeset:"a50244c6a87176a4df8d41e6a1a3f102ba129032/ghc" a50244c/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="a50244c6a87176a4df8d41e6a1a3f102ba129032" Rename SigTv to TyVarTv (#15480) 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 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15480#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler