summaryrefslogtreecommitdiff
path: root/testsuite/tests/linters/notes.stdout
Commit message (Expand)AuthorAgeFilesLines
* Handle records in the renamersheaf2023-03-291-23/+18
* Refactor the constraint solver pipelinewip/T23070Simon Peyton Jones2023-03-221-48/+46
* 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
* Make Constraint not *apart* from Type.Richard Eisenberg2022-03-021-1/+0
* Introduce ConcreteTv metavariablessheaf2022-03-021-1/+0
* Move linters into the treeMatthew Pickering2022-02-241-24/+24
* Kill derived constraintsRichard Eisenberg2022-02-231-1/+0
* Fix some notesMatthew Pickering2022-02-081-91/+20
* Add notes linter to testsuiteMatthew Pickering2022-02-081-0/+227