Changes between Version 244 and Version 245 of TypeFunctionsStatus


Ignore:
Timestamp:
Oct 10, 2007 2:13:12 PM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v244 v245  
    6262   * We still need to have the name parent map, though. 
    6363   * See email for example. 
    64  0. Allow data family GADT instances. 
     64 0. Allow data family GADT instances: 
     65   * Need to check the result types of the data constructors, probably in `checkValidDataCon`. 
     66   * `tcFamInstDecl1` needs to allow family GADT instances. 
     67 0. Eliminate code duplication between `tcTyClDecl1` and `tcFamInstDecl1`.  The code for vanilla data/newtype declarations and the code for data/newtype instances has many commonalities. 
    6568 0. Fix everything in the testsuite. 
    6669 0. Can't we now allow non-left-linear declarations; e.g., `instance type F a a = ..`?