Changes between Version 74 and Version 75 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
08/30/06 17:17:48 (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v74 v75  
    2727 
    2828Todo (low-level): 
    29  * Check that the arguments of AT instances coincide with the respective instance arguments of their class. 
    3029 * data/newtype instances may not overlap.  (Such definitions would always be non-confluent.) 
    3130 * RHS of a `type instance` must be a tau type.