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


Ignore:
Timestamp:
Feb 21, 2012 11:00:34 PM (2 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records/DeclaredOverloadedRecordFields/COmpareSORF

    v12 v13  
    6060    ?I didn't need `e`'s record type in scope nor its field `x` to call `set`. 
    6161 
    62     So I can break the abstraction by updating a record/field I can't even `get` ?? 
     62    So I can break the abstraction by updating a record/field I can't even `get` ?? Perhaps the desugarring should be: 
     63{{{ 
     64                ===> set (undefined ::: "x") (True `asTypeOf` x (set (undefined ::: "x") True e)) e 
     65                                                   --         ^^^ make sure the selector function is in scope 
     66                                                   --         (and with the right types inferencable) 
     67                                                   --         yeuch!! with bells on  
     68}}} 
    6369 
    6470    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`.)