Changes between Version 10 and Version 11 of Records/TypePunningDeclaredOverloadedRecordFields


Ignore:
Timestamp:
Mar 12, 2012 5:09:39 AM (2 years ago)
Author:
AntC
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records/TypePunningDeclaredOverloadedRecordFields

    v10 v11  
    7474    type instance GetResult Customer FirstName     = String             -- specific to this record/field 
    7575    -- type instance SetResult Customer FirstName  = Customer           -- not needed/already declared above 
    76                                                                         -- (but OK because overlaps and same result) 
     76                                                                        -- (but OK because overlaps and confluent) 
    7777 
    7878    myCust :: Customer                                                  -- usual record decl