Changes between Version 20 and Version 21 of Records/DeclaredOverloadedRecordFields

Show
Ignore:
Timestamp:
03/03/12 17:08:53 (15 months ago)
Author:
AntC
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records/DeclaredOverloadedRecordFields

    v20 v21  
    8585That is: 
    8686 * for `share` fields, this is declaring them as sharable. 
     87 
     88''' [wiki:Records/DeclaredOverloadedRecordFields/OptionFourTypePunning Option Four: Type Punning on the `fieldLabel`] ''' q.v. 
    8789 
    8890    [End of 3-March addition.]