Changes between Version 245 and Version 246 of TypeFunctionsStatus


Ignore:
Timestamp:
Oct 10, 2007 2:33:59 PM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v245 v246  
    4040      * Immediately fixes the tests GADT3, GADT4 & GADT5.
    4141      * Unfortunately, it breaks a whole lot of tests in `gadt/`.
    42       * 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.
     42      * 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.
    4343    * Handling of cases expression scrutinising GADTs:
    4444      * implement proposal where we infer a rigidity flag for case scutinees and pass that down when type checking the patterns,