Changes between Version 20 and Version 21 of Records/DeclaredOverloadedRecordFields


Ignore:
Timestamp:
Mar 4, 2012 1:08:53 AM (3 years 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.]