Changes between Version 27 and Version 28 of Records/OverloadedRecordFields/Implementation


Ignore:
Timestamp:
Aug 6, 2013 6:07:01 PM (22 months ago)
Author:
adamgundry
Comment:

implemented syntactic sugar

Legend:

Unmodified
Added
Removed
Modified
  • Records/OverloadedRecordFields/Implementation

    v27 v28  
    179179* ghci/scripts/ghci042 (accept changed output) 
    180180* ghci/prog002 prog003 scripts/ghci029 ghci036 ghci037 (scope issues in GHCi) 
     181* typechecker/should_fail/tcfail102 (changed error message)  
    181182 
    182183 
     
    185186* Test type-changing update. 
    186187* Sort out GADT record updates. 
    187 * Implement the syntactic sugar `r { x :: t }`. 
    188188* Test the interaction between fields and qualified names: a qualified name can be used for unambiguous identification of fields (e.g. in updates) but should probably not be used as an overloaded variable. 
    189189* Universally quantified variables in field types should result in no Has instance being generated.