Commit ec38deb2 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Wibbles to notes

parent c945477f
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
-----------------
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment