Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | don't suggest Rank2Types in error messages (Fixed #16000) | chessai | 2018-12-19 | 1 | -1/+1 |
* | typecheck: Clarify errors mentioned in #14385 | Ben Gamari | 2017-10-25 | 1 | -1/+1 |
* | Add regression tests for #12083 | Ryan Scott | 2017-05-12 | 1 | -0/+12 |