Changes between Version 9 and Version 10 of Records/OverloadedRecordFields


Ignore:
Timestamp:
Jan 15, 2012 6:26:55 PM (4 years ago)
Author:
strake888
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records/OverloadedRecordFields

    v9 v10  
    8484}}}
    8585then `ft ~ FieldT`. Then we can choose whether or not to export `FieldT(Field)`.
     86
     87In my opinion, this is ugly, since the selector can be either a type name or a label and the semantics are nonsame.
     88Rather, we need scoped instances.
     89–strake888
    8690
    8791== Should `get` have a proxy argument? ==