Tidy a Type
See Note [Strictness in tidyType and friends]
Moduleghc-9.14.1GHC2021
GHC.Core.TyCo.Tidy
Tidying types and coercions for printing in error messages.
- 19 values
- Packageghc-9.14.1
- Exports19
- LanguageGHC2021
- LicenceBSD-3-Clause
- SourceTidy.hs
Tidying type related things up for printing
19 declarationsTidy a list of Types
See Note [Strictness in tidyType and friends]
Tidy a Coercion
See Note [Strictness in tidyType and friends]
Calls tidyType on a top-level type (i.e. with an empty tidying environment)
Grabs the free type variables, tidies them and then uses tidyType to work over the type itself
Add the free TyVars to the env in tidy form, so that we can tidy the type they are free in Precondition: input free vars are closed over kinds and This function does a scopedSort, so that tidied variables have tidied kinds. See Note [Tidying is idempotent]
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 See Note [Tidying is idempotent]
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.