Changes between Version 268 and Version 269 of TypeFunctionsStatus
- 11/19/07 01:45:30 (6 years ago)
v268 v269 41 41 * Results: 42 42 * Works in principle. 43 * Immediately fixes the tests GADT 3, GADT4 & GADT5. 43 * Immediately fixes the tests GADT. 44 44 * Unfortunately, it breaks a whole lot of tests in `gadt/`. 45 45 * 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.