Changes between Version 11 and Version 12 of Records/DeclaredOverloadedRecordFields/COmpareSORF


Ignore:
Timestamp:
Feb 21, 2012 10:13:44 PM (3 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records/DeclaredOverloadedRecordFields/COmpareSORF

    v11 v12  
    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 
    5959}}} 
    6060    ?I didn't need `e`'s record type in scope nor its field `x` to call `set`. 
     
    6262    So I can break the abstraction by updating a record/field I can't even `get` ?? 
    6363 
    64     Also, without the signature for `customer_id`, I don't know its result type. So I can't efficitently generate type instances for `GetResult`. (That is, I'd generate a type instance for each record type it appears in, with every one returning result `Int`.) 
     64    Also, without the signature for `customer_id`, I don't know its result type. So I can't cleanly generate type instances for `GetResult`. (That is, I'd generate a type instance for each record type it appears in, with every one returning result `Int`.) 
    6565 
    6666