Changes between Version 66 and Version 67 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 26, 2006 8:08:31 PM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v66 v67  
    2929 
    3030Todo (low-level): 
     31 * data/newtype instances may not overlap.  (Such definitions would always be non-confluent.) 
    3132 * In an AT definition, no argument variable may be repeated. 
    3233 * Check that the arguments of AT instances coincide with the respective instance arguments of their class.