blob: ec4565ccf51433bf75b0428905d526d5f7067dd9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
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)
-----------------
|