Changes between Version 44 and Version 45 of Records/OverloadedRecordFields/Implementation
- Aug 20, 2013 2:51:09 PM (3 years ago)
v44 v45 104 104 * `tcInstDecls1` generates instances for fields from datatypes in the current group (at the same time as derived instances, from '''deriving''' clauses, are generated) 105 105 106 * `tcRnImports` in `TcRnDriver` generates instances for imported fields,by looking at the `GlobalRdrEnv` 106 * `tcRnImports` in `TcRnDriver` generates instances for by looking at the `GlobalRdrEnv` 107 107 108 108 The typeclass instances must be subsequently typechecked (by `tcInstDecls2`). Such instances are "private" in that they are available when typechecking the current module (in `tcg_inst_env`) but not exported to other modules (via `tcg_insts`). On the other hand, the underlying dfun ids, axioms and family instances are exported from the module as usual.