Changes between Version 337 and Version 338 of TypeFunctionsStatus


Ignore:
Timestamp:
Jul 5, 2008 3:26:12 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v337 v338  
    1515    * 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. 
    1616    * `rewriteWithOneEquality` should uses `eqInstToRewrite` 
     17   * #2146 (infelicity in decomposition for higher-order TFs) 
    1718 
    1819 * GADT: 
     
    2728   * #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) 
    2829  
    29  * #2146 (minor problem) 
    3030 * #2102 (superclasses) 
    3131 * #2040 (GADT)