Changes between Version 39 and Version 40 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 11, 2006 8:23:15 PM (9 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v39 v40  
    2626 * Check that patterns of type indexes don't contain type functions. 
    2727 * For each case scrutinising an associated data type, check that all constructors have been defined in a single instance.  (Maybe we can just extend the existing check that ensures that case expressions don't mix constructors of different data types.) 
    28  * Constructs `InstInfo` for type equation in `tcIdxTyInstDecl1`. 
     28 * Construct `InstInfo` for type equation in `tcIdxTyInstDecl1`. 
    2929  
    3030Todo (high-level):