Changes between Version 70 and Version 71 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 27, 2006 1:51:41 AM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v70 v71  
    3030 * Check that the arguments of AT instances coincide with the respective instance arguments of their class. 
    3131 * Check that each class instance has a definition for every AT and conversely that that all defined associated types are, in fact, part of the class. (Do this in the type checker - GHC does the corresponding checks for methods in the type checker, too.) 
    32  * Families declared as an AT, may not receive toplevel type instances. 
    3332 * 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.) 
    3433 * RHS of a `type instance` must be a tau type.