Changes between Version 13 and Version 14 of Records/DeclaredOverloadedRecordFields/COmpareSORF


Ignore:
Timestamp:
Feb 22, 2012 12:21:30 AM (3 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records/DeclaredOverloadedRecordFields/COmpareSORF

    v13 v14  
    3535                                                                 -- field type same as the function's result 
    3636}}} 
    37     makes customer_id available as a field label. (That is, the record constraint is __not__ added by the compiler, you must put it explicitly.) 
     37    makes `customer_id` available as a field label. (That is, the record constraint is __not__ added by the compiler, you must put it explicitly.) 
    3838 
    3939    (The compiler still needs to generate the binding for `customer_id = Library.Has.get` -- eta-reduced, because I'm assuming the proxy/Kind argument is not needed.) 
     
    5656Did that just re-open the back door to the abstraction? 
    5757{{{ 
    58        e{ x = True } ===> set (undefined ::: "x") True e       -- desugarred 
     58       e{ x = True } ===> set (undefined ::: "x") True e       -- desugarred to use a String Kind 
    5959}}} 
    6060    ?I didn't need `e`'s record type in scope nor its field `x` to call `set`.