Changes between Version 18 and Version 19 of Records/DeclaredOverloadedRecordFields


Ignore:
Timestamp:
Mar 3, 2012 5:16:49 AM (2 years ago)
Author:
AntC
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records/DeclaredOverloadedRecordFields

    v18 v19  
    8080    [End of 3-March addition.] 
    8181 
    82 The field selectors result type `-> Int` means the field's domain (type) is `Int` -- it's just a type. 
     82The field selector's result type `-> Int` means the field's domain (type) is `Int` -- it's just a type. 
    8383We might also want to constrain the record -- for example to be sure it is savable to persistent storage: 
    8484{{{