Changes between Version 297 and Version 298 of TypeFunctionsStatus


Ignore:
Timestamp:
Feb 20, 2008 1:05:04 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v297 v298  
    3131 0. Replacing GADT refinements by explicit equality constraints: 
    3232    * Regressions that remain to be fixed:  
    33       * `gadt/lazypatok` needs to be fixed 
     33      * `gadt/lazypatok` needs to be fixed (are irrefutable patterns really ok, see http://okmij.org/ftp/Haskell/GADT-problem.hs]?) 
    3434      * Error message of `tcfail167` should include "Inaccessible case alternative: Can't match types `Char' and `Float'" again 
    3535    * Handling of cases expression scrutinising GADTs: