Changes between Version 151 and Version 152 of TypeFunctionsStatus

Timestamp:

08/21/07 03:14:53 (6 years ago)

Author:

chak

Comment:

--

TypeFunctionsStatus

@@ -83 +83 @@
 Unexpected failures:
    Refl2(normal)
-   Simple5a(normal)
-   break001(ghci)
-   break006(ghci)
-   print019(ghci)
-   rw(normal)
+   break003(ghci)
    tc210(normal)
    tc211(normal)
@@ -94 +90 @@
    tcfail102(normal)
    tcfail128(normal)
-   tcfail145(normal)
-   tcfail153(normal)
-   while(normal)
+   tcfail178(normal)
+   tcfail185(normal)
 }}}
 
  * Class1: VALID.  (Only marked to fail in head to keep validate happy.)
  * Relf2: VALID. Type family BUG.
- * Simple5a: VALID. Changed error message for data families, BUT the new error message is cryptic and indicates a much too complicated treatment of data families.
- * break001: INVALID.  GHC panic instead of printing error message about ambiguous variable.
- * break006: INVALID.  Seems to be the same problem as break001.
- * print019: INVALID.  Seems to be the same problem as break001.
- * rw: VALID. Changed error message for GADTs.  Seems to be the same behaviour as in Simple5a. 
+ * ~~Simple5a~~: VALID. Changed error message for data families, BUT the new error message is cryptic and indicates a much too complicated treatment of data families.
+ * ~~break001~~: INVALID.  GHC panic instead of printing error message about ambiguous variable.
+ * ~~break006~~: INVALID.  Seems to be the same problem as break001.
+ * ~~print019~~: INVALID.  Seems to be the same problem as break001.
+ * ~~rw~~: VALID. Changed error message for GADTs.  Seems to be the same behaviour as in Simple5a. 
  * tc210: INVALID (matching `forall a.a -> Int` against `Int -> Int fails).
  * tc211: INVALID (tests impredicative types).
@@ -112 +107 @@
  * tcfail102: VALID.
  * tcfail128: VALID. Same as tcfail046.
- * tcfail145: VALID. Error message got worse.
- * tcfail153: VALID. Related to Simple5a in that a match against a rigid type variable gets reported as an equality context that could not be deduced.
+ * ~~tcfail145~~: VALID. Error message got worse.
+ * ~~tcfail153~~: VALID. Related to Simple5a in that a match against a rigid type variable gets reported as an equality context that could not be deduced.
  * while: VALID. Works if definition of `succeed` gets a type signature `Monad m => a -> m a`.  The error seems to be due to the new GADT rules about annotations, but the error message is a bit strange; ie, need to be improved.