Changes between Version 24 and Version 25 of Records/DeclaredOverloadedRecordFields


Ignore:
Timestamp:
Mar 8, 2012 8:23:39 AM (2 years ago)
Author:
AntC
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records/DeclaredOverloadedRecordFields

    v24 v25  
    11= Declared Overloaded Record Fields (DORF) = 
    22 
    3 == Thumbnal Sketch == 
     3== Thumbnail Sketch == 
    44 
    55This proposal is addressing the narrow issue of '''namespacing for record field names''' by allowing more than one record in the same module to share a field name. Specifically the record field name is overloaded so that: 
     
    9292 
    9393I'm avoiding giving implementation details here -- see: 
    94     The Implementor's view; and Comparison to SORF   (links above) 
     94    The Implementer's view; and Comparison to SORF   (links above) 
    9595 
    9696I'm not saying anything about field selection via pattern matching or record construction using explicit data constructors -- those are to behave as currently (using the approach per ‑XDisambiguateRecordFields and friends).