Changes between Version 10 and Version 11 of Records/DeclaredOverloadedRecordFields/COmpareSORF


Ignore:
Timestamp:
Feb 21, 2012 10:10:57 PM (4 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records/DeclaredOverloadedRecordFields/COmpareSORF

    v10 v11  
    3232    customer_id :: r{ customer_id :: Int } => r -> Int           -- explicit record constraint
    3333                                                                 -- field name same as the declared function
     34                                                                 -- record type same as the function's argument
    3435                                                                 -- field type same as the function's result
    3536}}}