Changes between Version 284 and Version 285 of TypeFunctionsStatus


Ignore:
Timestamp:
Dec 11, 2007 2:19:16 AM (6 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.