Changes between Version 182 and Version 183 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 30, 2007 4:24:17 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v182 v183  
    1111   * We still need to have the name parent map, though. 
    1212   * See email for example. 
     13 0. Allow data family GADT instances. 
    1314 0. Fix core-lint breakage in cholewo-eval. 
    1415 0. The tests `tcfail068` and `rw` used to raise more type errors right away.  Now, we see less recovery. 
     
    4546Todo (low-level): 
    4647 * Enforce syntactic constraints on type instances needed to ensure the termination of constraint entailment checking. 
     48 * Allow data family GADT instances. 
     49 * Deriving `Typeable` for data families. 
    4750 * If an associated synonym has a default definition, use that in the instances.  In contrast to methods, this cannot be overridden by a specialised definition.  (Confluence requires that any specialised version is extensionally the same as the default.) 
    4851