[commit: ghc] master: Wibbles to notes (ec38deb)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/ec38deb243671216aea3fef9aaa2decb8e02f6b0/ghc

>---------------------------------------------------------------

commit ec38deb243671216aea3fef9aaa2decb8e02f6b0
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu Nov 6 13:55:05 2014 +0000

    Wibbles to notes


>---------------------------------------------------------------

ec38deb243671216aea3fef9aaa2decb8e02f6b0
 compiler/typecheck/Flattening-notes | 35 ++---------------------------------
 1 file changed, 2 insertions(+), 33 deletions(-)

diff --git a/compiler/typecheck/Flattening-notes b/compiler/typecheck/Flattening-notes
index ec4565c..499a757 100644
--- a/compiler/typecheck/Flattening-notes
+++ b/compiler/typecheck/Flattening-notes
@@ -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 at 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
 
------------------