Changes between Version 283 and Version 284 of TypeFunctionsStatus


Ignore:
Timestamp:
Dec 8, 2007 11:20:33 AM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v283 v284  
    3232'''Debugging of type families:'''
    3333 0. Replacing GADT refinements by explicit equality constraints:
    34     * Impact on testsuite:
    35 {{{
    36 == indexed-types/ ==
    37 Unexpected passes:
    38    GADT4(normal)
    39    GADT5(normal)
    40    InstEqContext2(normal)
    41 Unexpected failures:
    42    GADT3(normal) -- ok, just tickles a known bug
    43 
    44 == typecheck/ ==
    45 Unexpected failures:
    46    tcfail167(normal)    -- Doesn't produce inaccessible case alternative message anymore.
    47 
    48 == gadt/ ==
    49 Unexpected failures:
    50    gadt21(normal)       -- OK!  (Just be a different error message.)
    51    lazypatok(normal)  -- Need to fix this, but low priority.
    52 }}}
     34    * Regressions that remain to be fixed:
     35      * `gadt/lazypatok` needs to be fixed
     36      * Error message of `tcfail167` should include "Inaccessible case alternative: Can't match types `Char' and `Float'" again
    5337    * Handling of cases expression scrutinising GADTs:
    5438      * Remove the dodgy rigidity test that is in `tcConPat` right now.