Changes between Version 284 and Version 285 of TypeFunctionsStatus


Ignore:
Timestamp:
Dec 11, 2007 2:19:16 AM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v284 v285  
    7272   * We still need to have the name parent map, though.
    7373   * See email for example.
    74  0. Allow data family GADT instances:
     74 0. Allow data family GADT instances #1968:
    7575   * Need to check the result types of the data constructors, probably in `checkValidDataCon`.
    7676   * `tcFamInstDecl1` needs to allow family GADT instances.