Changes between Version 283 and Version 284 of TypeFunctionsStatus


Ignore:
Timestamp:
Dec 8, 2007 11:20:33 AM (6 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.