summaryrefslogtreecommitdiff
path: root/testsuite/tests/linters
Commit message (Expand)AuthorAgeFilesLines
* Misc cleanupKrzysztof Gogolewski2023-01-051-2/+0
* Fix binder-swap bugSimon Peyton Jones2022-10-251-1/+0
* Fix typosKrzysztof Gogolewski2022-09-141-0/+1
* Fix typosEric Lindblad2022-09-141-33/+33
* Drop make build systemBen Gamari2022-08-251-2/+0
* Cleanups around pretty-printingKrzysztof Gogolewski2022-08-091-1/+0
* Refactored Simplify passDominik Peteler2022-07-221-3/+3
* TTG: Rework and improve splicesromes2022-06-011-37/+45
* 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