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


Ignore:
Timestamp:
Jul 1, 2013 8:41:23 AM (2 years 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