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


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

--

Legend:

Unmodified
Added
Removed
Modified
  • Records/OverloadedRecordFields/Design

    v9 v10  
    306306So, if the source program contains `foo r` (meaning "select field `foo` from record `r`), it will be interpreted like this, if `r :: T`:
    307307{{{
    308                      foo r
     308                foo r
    309309
    310310desugaring      ==> field (proxy# :: Proxy# "foo") r