Changes between Version 201 and Version 202 of TypeFunctionsStatus


Ignore:
Timestamp:
Sep 7, 2007 12:45:06 PM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v201 v202  
    1616   * See email for example.
    1717 0. Allow data family GADT instances.
     18 0. Fix everything in the testsuite.
    1819 0. Can't we now allow non-left-linear declarations; e.g., `instance type F a a = ..`?
    1920 0. Fix core-lint breakage in cholewo-eval.