Changes between Version 15 and Version 16 of ExtensibleRecords


Ignore:
Timestamp:
Nov 13, 2007 12:01:45 PM (8 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExtensibleRecords

    v15 v16  
    4040= Label Namespace = 
    4141 
    42 The proposals which are implemented as libraries put labels in conid (at the value level) and tycon (at the type level). In other words they must begin with capital letters, and not clash with any other constructor or type. If we want to support labels as first-class objects, this is essential so that we can distinguish labels from other objects. 
     42The proposals which are implemented as libraries put labels in conid (at the value level) and tycon (at the type level). In other words they must begin with capital letters, not clash with any other constructor or type, and be declared before use. If we want to support labels as first-class objects, this is essential so that we can distinguish them from other objects. 
    4343 
    44 The other proposals allow arbitrary labels, and distinguish them by context. 
     44The other proposals allow labels to be arbitrary strings, and distinguish them by context. 
    4545 
    4646= Type Systems =