Changes between Version 17 and Version 18 of Records/DeclaredOverloadedRecordFields/ImplementorsView


Ignore:
Timestamp:
Mar 1, 2012 7:39:15 AM (2 years ago)
Author:
AntC
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records/DeclaredOverloadedRecordFields/ImplementorsView

    v17 v18  
    253253 
    254254When import/exporting we need to separately control exporting the Proxy_type: 
     255 * The original plan was to control import/export shadowing the field selector function. 
     256     (As an afterthought: this would treat the function differently to usual functions. 
     257      On the other hand, no more special than exporting the function along with the H98 record label.) 
    255258 * If not exported, update syntax cannot be desugarred to use it, so this hides the representation. 
    256259     (So any records become in effect read-only, using the exported field selector function.) 
     
    259262Drat! I was trying to keep the Proxy_type hidden from the programmer. 
    260263 
    261 It's possible we might want to prevent the latter, but allow the former?? 
     264It's possible we might want to hide the representation (prevent update), but allow sharing with a locally-declared record type/field?? 
    262265 
    263266    [Using a `String Kind` a la SORF would not help: can't control sharing nor hide the representation.[[BR]] End of Proxy_type addition.]