Changes between Version 45 and Version 46 of Records/OverloadedRecordFields/Implementation


Ignore:
Timestamp:
Aug 20, 2013 2:51:37 PM (8 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records/OverloadedRecordFields/Implementation

    v45 v46  
    104104* `tcInstDecls1` generates instances for fields from datatypes in the current group (at the same time as derived instances, from '''deriving''' clauses, are generated) 
    105105 
    106 * `tcRnImports` in `TcRnDriver` generates instances for overladed record fields ''that are in scope'''. (This is different from the usual visible-everywhere story for instances.) We know which overloaded fields are in scope by looking at the `GlobalRdrEnv` 
     106* `tcRnImports` in `TcRnDriver` generates instances for overladed record fields ''that are in scope''. (This is different from the usual visible-everywhere story for instances.) We know which overloaded fields are in scope by looking at the `GlobalRdrEnv` 
    107107 
    108108The 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.