summaryrefslogtreecommitdiff
path: root/typing/errortrace.ml
Commit message (Expand)AuthorAgeFilesLines
* Respond to final round of review for #10407Antal Spector-Zabusky2021-06-211-12/+8
* Make `Errortrace.*_error` only contain nonempty tracesAntal Spector-Zabusky2021-06-211-2/+28
* Respond to more review for the structured error messages (#10407)Antal Spector-Zabusky2021-06-211-1/+1
* Respond to review for the new structured error messages (#10407)Antal Spector-Zabusky2021-06-211-23/+21
* Use the new structured errors (#10170) for better error messagesAntal Spector-Zabusky2021-06-211-0/+16
* Fix formatting issuesAntal Spector-Zabusky2021-05-061-7/+10
* Add missing copyright headers to `errortrace.ml{,i}`Antal Spector-Zabusky2021-05-061-0/+17
* Address all the excellent reviewer suggestionsAntal Spector-Zabusky2021-05-061-7/+6
* Maintain more structural information in type-checking errorsAntal Spector-Zabusky2021-05-061-0/+139