Changes between Version 244 and Version 245 of TypeFunctionsStatus


Ignore:
Timestamp:
Oct 10, 2007 2:13:12 PM (8 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 = ..`?