Wibbles to notes
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 6 Nov 2014 13:55:05 +0000 (13:55 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Thu, 6 Nov 2014 15:42:26 +0000 (15:42 +0000)
compiler/typecheck/Flattening-notes

index ec4565c..499a757 100644 (file)
@@ -1,40 +1,9 @@
 ToDo:
 
-* get rid of getEvTerm?
-
 * inert_funeqs, inert_eqs: keep only the CtEvidence.
    They are all CFunEqCans, CTyEqCans
 
-* Consider individual data tpyes for CFunEqCan etc
-
-* Collapes CNonCanonical and CIrredCan
-
-Remaining errors
-============================
-Unexpected failures:
-   generics                      GenDerivOutput1_1 [stderr mismatch] (normal)
-
-ghcirun002: internal error: ASSERTION FAILED: file rts/Interpreter.c, line 773
-   ghci/should_run               ghcirun002 [bad exit code] (ghci)
-
--package dependencies: array-0.5.0.1@array_GX4NwjS8xZkC2ZPtjgwhnz
-+package dependencies: array-0.5.0.1 base-4.8.0.0
-   safeHaskell/check/pkg01       safePkg01 [bad stdout] (normal)
-
-
-Wierd looking pattern synonym thing
-   ghci/scripts                       T8776 [bad stdout] (ghci)
-   patsyn/should_fail                 mono [stderr mismatch] (normal)
-
-Derived equalities   fmv1 ~ Maybe a, fmv2 ~ Maybe b
-   indexed-types/should_fail     T4093a [stderr mismatch] (normal)
-
-Not sure
-   indexed-types/should_fail     ExtraTcsUntch [stderr mismatch] (normal)
-
-Order of finding iprovements
-   typecheck/should_compile      TcTypeNatSimple [exit code non-0] (normal)
-
+* Consider individual data types for CFunEqCan etc
 
+* Collapse CNonCanonical and CIrredCan
 
------------------