Changes between Version 6 and Version 7 of TypeFunctions/ClassFamilies


Ignore:
Timestamp:
May 16, 2007 4:30:19 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctions/ClassFamilies

    v6 v7  
    6262As with data families, the class families can be associated with a class by declaring them in the class.  In this case, we omit the keywords `family` and `instance` in the family and instance declarations, respectively.  Moreover, all type indexes of an associated class need to be class parameters of the parent class. 
    6363 
    64 '''OPEN QUESTION:''' Do we allow associated types and classes(?!?) in class-family instances? 
     64'''OPEN QUESTIONs:'''  
     65 * Should an associated class be a (kind of) superclass of its parent.  At least, we may want to add it implicitly to the signature of each method.  Not sure about this, but Roman suggested it, too. 
     66 * Do we allow associated types and classes(?!?) in class-family instances? 
    6567 
    6668=== Type checking ===