Changes between Version 46 and Version 47 of Records/NameSpacing


Ignore:
Timestamp:
Feb 22, 2012 3:41:26 AM (3 years ago)
Author:
guest
Comment:

q's about update semantics -- AntC

Legend:

Unmodified
Added
Removed
Modified
  • Records/NameSpacing

    v46 v47  
    222222The function update syntax is a new addition to Haskell that we do not need to immediately implement.
    223223
     224  Does this cope with the tricky cases discussed in the SORF proposal? -- AntC
     225    * An update to an existing record that changes the type of a field.
     226    * An update to an existing record that changes the type of the record[[BR]] (Such as where it's parametric in the type of a field.)
     227    * An update to a higher-ranked field.
     228    * An update to a higher-ranked field with constraints.
     229
    224230=== Alternative update syntax: let syntax ===
    225231