Changes between Version 46 and Version 47 of Records/NameSpacing


Ignore:
Timestamp:
Feb 22, 2012 3:41:26 AM (2 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