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


Ignore:
Timestamp:
Apr 22, 2014 10:28:06 AM (15 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