diff options
Diffstat (limited to 'compiler/typecheck/Flattening-notes')
| -rw-r--r-- | compiler/typecheck/Flattening-notes | 13 |
1 files changed, 2 insertions, 11 deletions
diff --git a/compiler/typecheck/Flattening-notes b/compiler/typecheck/Flattening-notes index 5f6fd140c8..ec4565ccf5 100644 --- a/compiler/typecheck/Flattening-notes +++ b/compiler/typecheck/Flattening-notes @@ -2,22 +2,13 @@ ToDo: * get rid of getEvTerm? -* Float only CTyEqCans. kind-incompatible things should be CNonCanonical, - so they won't float and generate a duplicate kind-unify message - - Then we can stop disabling floating when there are insolubles, - and that will improve mc21 etc - -* Note [Do not add duplicate derived isols] - This mostly doesn't apply now, except for the fundeps - * inert_funeqs, inert_eqs: keep only the CtEvidence. They are all CFunEqCans, CTyEqCans -* remove/rewrite TcMType Note [Unflattening while zonking] - * Consider individual data tpyes for CFunEqCan etc +* Collapes CNonCanonical and CIrredCan + Remaining errors ============================ Unexpected failures: |