Changes between Version 4 and Version 5 of Records/OverloadedRecordFields


Ignore:
Timestamp:
Oct 20, 2011 5:34:01 PM (4 years ago)
Author:
tibbe
Comment:

Fix typo

Legend:

Unmodified
Added
Removed
Modified
  • Records/OverloadedRecordFields

    v4 v5  
    302302updates; that is, not to support any sort of overloading.  But even
    303303''that'' is problemantic: what does `e { x = True }` mean if there are lots of "x" fields
    304 in scope (which is precisely what we want to allow). Hsakell's current record-update
     304in scope (which is precisely what we want to allow). Haskell's current record-update
    305305syntax really relies on learning which type is involved, from the record selector; but if
    306306there are many x's, it can't figure it out.  Insisting that only one "x" selector must