Changes between Version 14 and Version 15 of Records/OverloadedRecordFields/Plan


Ignore:
Timestamp:
Jul 1, 2013 8:41:23 AM (10 months ago)
Author:
adamgundry
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records/OverloadedRecordFields/Plan

    v14 v15  
    151151=== Record update: avoiding redundant annotations === 
    152152 
    153 If `e` is a variable, whose type is given explicitly in the context, we could look it up rather than requiring it to be given again. Thus 
     153In an update `e { x = t }`, if `e` is a variable whose type is given explicitly in the context, we could look it up rather than requiring it to be given again. Thus 
    154154{{{ 
    155155f :: T Int -> T Int