Changes between Version 20 and Version 21 of Records/DeclaredOverloadedRecordFields
- Timestamp:
- 03/03/12 17:08:53 (15 months ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Records/DeclaredOverloadedRecordFields
v20 v21 85 85 That is: 86 86 * for `share` fields, this is declaring them as sharable. 87 88 ''' [wiki:Records/DeclaredOverloadedRecordFields/OptionFourTypePunning Option Four: Type Punning on the `fieldLabel`] ''' q.v. 87 89 88 90 [End of 3-March addition.]
