Changes between Version 18 and Version 19 of TypeFunctions


Ignore:
Timestamp:
Jul 31, 2006 8:19:46 PM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctions

    v18 v19  
    6666---- 
    6767 
    68 ; hence, anything that may depend on a type declaration can now also depend on an instance declaration. We solve that by lifting associated data types out of instances before renaming (and hence also before type checking of type and class declarations). 
    69  
    7068---- 
    7169`Revise from here!`