Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Respond to final round of review for #10407 | Antal Spector-Zabusky | 2021-06-21 | 1 | -12/+8 |
* | Make `Errortrace.*_error` only contain nonempty traces | Antal Spector-Zabusky | 2021-06-21 | 1 | -2/+28 |
* | Respond to more review for the structured error messages (#10407) | Antal Spector-Zabusky | 2021-06-21 | 1 | -1/+1 |
* | Respond to review for the new structured error messages (#10407) | Antal Spector-Zabusky | 2021-06-21 | 1 | -23/+21 |
* | Use the new structured errors (#10170) for better error messages | Antal Spector-Zabusky | 2021-06-21 | 1 | -0/+16 |
* | Fix formatting issues | Antal Spector-Zabusky | 2021-05-06 | 1 | -7/+10 |
* | Add missing copyright headers to `errortrace.ml{,i}` | Antal Spector-Zabusky | 2021-05-06 | 1 | -0/+17 |
* | Address all the excellent reviewer suggestions | Antal Spector-Zabusky | 2021-05-06 | 1 | -7/+6 |
* | Maintain more structural information in type-checking errors | Antal Spector-Zabusky | 2021-05-06 | 1 | -0/+139 |