Changes between Version 34 and Version 35 of ExtensibleRecords


Ignore:
Timestamp:
Feb 18, 2008 9:59:16 PM (6 years ago)
Author:
barney
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExtensibleRecords

    v34 v35  
    9595 * permutativity: The easiest way to implement permutativity of field labels is to sort them by some total ordering. Although this can be implemented using functional dependencies, it's complex and inefficient. Compiler support for a global order on tycons (based on fully qualified name, perhaps) would be very helpful. I have submitted a feature request #1894. Does this conflict with type sharing? 
    9696 
     97I have submitted another feature request, #2104, which would support permutativity and labels without declaration, as well as sort out sharing in the simplest possible way (all labels are global). 
     98 
    9799= Examples = 
    98100