Changes between Version 343 and Version 344 of TypeFunctionsStatus


Ignore:
Timestamp:
Jul 5, 2008 4:39:39 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v343 v344  
    1414 
    1515 * Solving of equalities (`TcTyFuns`): 
    16   * #2219 & #2235 (bogus occurs check failure - in both bugs, the loop is through a TF) 
     16  * #2219, #2235 & #1775 (bogus occurs check failure - in both bugs, the loop is through a TF) 
    1717  * #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): 
    1818    * Should `eqInstToRewrite` already check for and return whether the equality is cyclic in a bad way (i.e., without intervening tyfam)?  (Would that be less efficient?)  In any case, document the invariants. 
     
    3434   * #1897 If you infer a type for a function, then should check the function against that sigature, to check that if the user gave that signature, then typechecking would again succeed.  See this thread http://www.haskell.org/pipermail/haskell-cafe/2008-April/041385.html) 
    3535  
    36  * #1775 
    3736 * #1772 
    3837 * #1769 (deriving typeable for data families)