Changes between Version 62 and Version 63 of TypeFunctions


Ignore:
Timestamp:
Dec 7, 2006 11:33:31 PM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctions

    v62 v63  
    7575== Possible Extensions == 
    7676 
     77 * Class instances of entire data/newtype families (apart from a deriving clause at the family declaration).  They would need to have to guarantee that every instance of the family is an instance of the class.  However, does that really make sense; i.e., what dictionary should be passed?  We would need open case expression, as in the next item. 
    7778 * Our type-indexed data types are open.  However, we currently don't allow case expressions mixing constructors from different indexes.  We could do that if we had a story for open function definitions outside of classes.