summaryrefslogtreecommitdiff
path: root/testsuite/tests/plugins/hole-fit-plugin
Commit message (Expand)AuthorAgeFilesLines
* Store RdrName rather than OccName in HolesMatthew Pickering2022-12-241-1/+1
* Make fields of GlobalRdrElt strictMatthew Pickering2021-10-201-1/+2
* Refactor hole constraints.Richard Eisenberg2020-05-061-3/+1
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-3/+3
* Modules: Driver (#13009)Sylvain Henry2020-02-211-1/+1
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-161-1/+1
* Solve constraints from top-level groups soonerRichard Eisenberg2019-10-081-2/+2
* Add HoleFitPlugins and RawHoleFitswip/D5373Matthías Páll Gissurarson2019-06-214-0/+121