Changes between Version 337 and Version 338 of TypeFunctionsStatus

Timestamp:

07/04/08 20:26:12 (5 years ago)

Author:

chak

Comment:

--

TypeFunctionsStatus

@@ -15 +15 @@
     * 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.
     * `rewriteWithOneEquality` should uses `eqInstToRewrite`
+   * #2146 (infelicity in decomposition for higher-order TFs)
 
  * GADT:
@@ -27 +28 @@
    * #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)
  
- * #2146 (minor problem)
  * #2102 (superclasses)
  * #2040 (GADT)