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):