Changes between Version 8 and Version 9 of Records/OverloadedRecordFields/Design


Ignore:
Timestamp:
Apr 22, 2014 10:28:06 AM (14 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records/OverloadedRecordFields/Design

    v8 v9  
    307307{{{ 
    308308                     foo r 
     309 
    309310desugaring      ==> field (proxy# :: Proxy# "foo") r 
     311 
    310312inline 'field'  ==> accessField (proxy# :: Proxy# "foo") 
    311313                                (getField (proxy# :: Proxy# "foo")) 
    312314                                (setField (proxy# :: Proxy# "foo")) 
    313315                                r 
     316 
    314317(->) instance   ==> getField (proxy# :: Proxy# "foo") r 
    315318of Accessor