Changes between Version 15 and Version 16 of Records/DeclaredOverloadedRecordFields/ImplementorsView


Ignore:
Timestamp:
Feb 29, 2012 1:20:21 AM (4 years ago)
Author:
AntC
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records/DeclaredOverloadedRecordFields/ImplementorsView

    v15 v16  
    229229                   -- improved by the instance constraint
    230230    type instance SetResult HR Proxy_rev t = HR
    231                    -- the higer-ranked type is hidded inside HR
     231                   -- the higer-ranked type is hidden inside HR
    232232    instance (t ~ ([a_] -> [a_])) =>              -- same as SORF
    233233        Has HR Proxy_rev t    where
     
    248248=== Representation hiding/import/export ===
    249249
    250 See the discussion under [wiki:Records/DeclaredOverloadedRecordFields#ImportExportandRepresentationhiding Application Programmer's view Import/Export]  and [wiki:Records/DeclaredOverloadedRecordFields/NoMonoRecordFields No Mono Record Fields]. When import/exporting do we need to also export the Proxy_type? If not exported, update syntax cannot be desuggarred to use it.)
     250See the discussion under [wiki:Records/DeclaredOverloadedRecordFields#ImportExportandRepresentationhiding Application Programmer's view Import/Export]  and [wiki:Records/DeclaredOverloadedRecordFields/NoMonoRecordFields No Mono Record Fields]. When import/exporting do we need to also export the Proxy_type? If not exported, update syntax cannot be desugarred to use it.)
    251251
    252252See also the attached `DORF Prototype Importing 29Feb2012.lhs`, which selectively imports some fieldLabels, and declares local versions of others. This shows that within a single record decl: