| 105 | | * #1823: refinement |
| 106 | | |
| 107 | | * #3554: assertion failure |
| 108 | | * #3330: type checker loops |
| 109 | | * #3500: recursive dictionaries |
| 110 | | * #3787: bad program produced |
| 111 | | * #4226: strange implicit-parameter behaviour |
| 112 | | * #4160: Type families crash in HEAD |
| 113 | | * #4200: don't require `UndecidableInstances` for equality constraints |
| 114 | | * #4178: unnecessary skolem escape check |
| 115 | | * #4179: loop in type inference |
| 116 | | * #4174: bad error message |
| 117 | | * #4093: constraint simplifier loops |
| 118 | | * #2296: position info for fundep message |
| 119 | | * #2683: muttering about boxy type ASSERT |
| 120 | | * #4044, #4045: these were crashes something to do with type functions when building GHC |
| 121 | | * #3064: performance of constraint simplifier |
| | 105 | |
