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: