Changes between Version 10 and Version 11 of Records/OverloadedRecordFields/Implementation


Ignore:
Timestamp:
Jul 26, 2013 11:54:52 AM (9 months ago)
Author:
adamgundry
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records/OverloadedRecordFields/Implementation

    v10 v11  
    8585 
    8686Test the interaction between fields and qualified names. In particular, a qualified name can be used for unambiguous identification of fields (e.g. in updates) but should probably not be used as an overloaded variable. 
     87 
     88Universally quantified fields should result in a warning being emitted and no Has instance generated. What about existentially quantified fields? 
     89 
     90How should deprecation work for fields? Not at all?