abs package:ghc
Typechecked user bindings
Evidence bindings Why a list? See
GHC.Tc.TyCl.Instance Note
[Typechecking plan for instance declarations]
Includes equality constraints
AbsBinds only gets used when idL = idR after renaming, but these need
to be idL's for the collect... code in HsUtil to have the right type
A closed type synonym family declared in an hs-boot file with type
family F a where ..
Says that we know nothing about this data type, except that it's
represented by a pointer. Used when we export a data type abstractly
into an .hi file.
Abstraction over the operations of a semaphore.
Typechecked, generalised bindings, used in the output to the type
checker. See Note [AbsBinds].
An equality like T a b c ~ Q d e where either T or
Q is an abstract type constructor. See Note [Skolem abstract
data] in GHC.Core.TyCon. INVARIANT: The constraint is an equality
constraint between two TyConApps
An absent demand: Evaluated exactly 0 times (
C_00), hence there
is no
SubDemand that describes how it was evaluated.