- (((TypecheckedBinds, -- binds from class decls; does NOT
- -- include default-methods bindings
- TypecheckedBinds, -- binds from instance decls; INCLUDES
- -- class default-methods binds
- TypecheckedBinds, -- binds from value decls
- [(Inst, TypecheckedExpr)]),
-
- ([RenamedFixityDecl], -- things for the interface generator
- [Id], -- to look at...
- CE,
- TCE,
- Bag InstInfo),
-
- FiniteMap TyCon [(Bool, [Maybe UniType])],
+ (((TypecheckedHsBinds, -- record selector definitions
+ TypecheckedHsBinds, -- binds from class decls; does NOT
+ -- include default-methods bindings
+ TypecheckedHsBinds, -- binds from instance decls; INCLUDES
+ -- class default-methods binds
+ TypecheckedHsBinds, -- binds from value decls
+
+ [(Id, TypecheckedHsExpr)] -- constant instance binds
+ ),
+
+ ([RenamedFixityDecl], [Id], [TyCon], [Class], Bag InstInfo),
+ -- things for the interface generator
+
+ ([TyCon], [Class]),
+ -- environments of info from this module only
+
+ FiniteMap TyCon [(Bool, [Maybe Type])],