Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Don't mark closed type family equations as occurrences | Ryan Scott | 2020-07-30 | 1 | -4/+4 |
* | Fix #16002 by moving a validity check to the renamer | Ryan Scott | 2018-12-20 | 1 | -4/+4 |
* | Fix a closed type family error message | Rik Steenkamp | 2016-04-11 | 1 | -0/+6 |