Things in brackets are what the module *uses*.
A 'loop' indicates a use from a module compiled later
- Name, PrimRep, FieldLabel (loop Type.Type)
+ Name, PrimRep
then
PrelNames
then
- Var (Name, loop CoreSyn.CoreExpr, loop IdInfo.IdInfo,
- loop Type.GenType, loop Type.Kind)
+ Var (Name, loop IdInfo.IdInfo,
+ loop Type.Type, loop Type.Kind)
then
VarEnv, VarSet, ThinAir
then
then
Type (loop DataCon.DataCon, loop Subst.substTy)
then
- TysPrim (Type), PprEnv (loop DataCon.DataCon, Type)
+ FieldLabel( Type), TysPrim (Type), PprEnv (loop DataCon.DataCon, Type)
then
Unify, PprType (PprEnv)
then
- Literal (TysPrim, PprType), DataCon
+ Literal (TysPrim, PprType), DataCon (PprType)
then
TysWiredIn (DataCon.mkDataCon, loop MkId.mkDataConId, loop Generics.mkGenInfo)
then