Tidy a Type
See Note [Strictness in tidyType and friends]
Moduleghc-9.10.3GHC2021
GHC.Core.TyCo.Tidy
Tidying types and coercions for printing in error messages.
- 16 values
- Packageghc-9.10.3
- Exports16
- LanguageGHC2021
- LicenceBSD-3-Clause
- SourceTidy.hs
Tidying type related things up for printing
16 declarationsTidy a list of Types
See Note [Strictness in tidyType and friends]
Grabs the free type variables, tidies them and then uses tidyType to work over the type itself
This tidies up a type for printing in an error message, or in an interface file.
It doesn't change the uniques at all, just the print names.
Add the free TyVars to the env in tidy form, so that we can tidy the type they are free in
Treat a new TyCoVar as a binder, and give it a fresh tidy name using the environment if one has not already been allocated. See also tidyVarBndr
Calls tidyType on a top-level type (i.e. with an empty tidying environment)
Tidy a Coercion
See Note [Strictness in tidyType and friends]