summaryrefslogtreecommitdiff
path: root/testsuite/tests/linters
Commit message (Expand)AuthorAgeFilesLines
* Fix several note references, part 2Krzysztof Gogolewski2022-05-051-39/+0
* Fix several note referencesKrzysztof Gogolewski2022-05-021-40/+0
* Remove obsolete code in CoreToStgKrzysztof Gogolewski2022-05-021-1/+0
* Convert More Diagnostics (#20116)Ben Gamari2022-04-301-1/+1
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-281-1/+0
* testsuite: Lint RTS #includeswip/lint-rts-includesBen Gamari2022-04-063-1/+99
* Remove leftover trace in testsuiteMatthew Pickering2022-03-071-1/+0
* Make Constraint not *apart* from Type.Richard Eisenberg2022-03-021-1/+0
* Introduce ConcreteTv metavariablessheaf2022-03-021-1/+0
* testsuite: Require LLVM for T15155lPeter Trommler2022-02-261-0/+0
* Move linters into the treeMatthew Pickering2022-02-2410-30/+388
* Kill derived constraintsRichard Eisenberg2022-02-231-1/+0
* Fix some notesMatthew Pickering2022-02-081-91/+20
* Add notes linter to testsuiteMatthew Pickering2022-02-083-0/+254
* testsuite: Run testsuite dependency calculation before GHC is builtMatthew Pickering2022-02-043-0/+54