Changes between Version 362 and Version 363 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 5, 2008 11:32:28 AM (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v362 v363  
    2020 
    2121 * Solving of equalities (`TcTyFuns`): 
    22   * Fix the problem reported [http://www.haskell.org/pipermail/haskell-cafe/2008-July/044911.html here], and add a test case to the test suite. 
     22  * Fix the problem reported [http://www.haskell.org/pipermail/haskell-cafe/2008-July/044911.html here], and add a test case to the test suite.  The issue is whether to apply (Decomp) to an application of a saturated application of a type-function. 
    2323  * #2219, #2235, #1775 & test `GADT1` (bogus occurs check failure - in both bugs, the loop is through a TF) 
    2424  * #2202 (Uses `a ~ MeshVertex a b` in `normaliseWantedDicts` w/o the occurs check kicking in; also occurs in 6.8.2 and the program doesn't mention TFs, so need to merge):