Changes between Version 268 and Version 269 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
11/19/07 01:45:30 (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v268 v269  
    4141    * Results: 
    4242      * Works in principle. 
    43       * Immediately fixes the tests GADT3, GADT4 & GADT5. 
     43      * Immediately fixes the tests GADT4, GADT5 & GADT7.  GADT3 fals, but that is due to another known bug. 
    4444      * Unfortunately, it breaks a whole lot of tests in `gadt/`. 
    4545      * The remaining problems are partially due to ~~(1) the splitBoxyXXX function issue mentioned above,~~ (2) the occurs check issue mentioned below, (3) the same problem exhibited by GADT9 (with or without this change), (4) some problems getting hold of the right given class constraints, and (5) some random stuff that I haven't looked at more closely.