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


Ignore:
Timestamp:
Feb 21, 2012 10:10:57 PM (3 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}}}