Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix several note references, part 2 | Krzysztof Gogolewski | 2022-05-05 | 1 | -39/+0 |
* | Fix several note references | Krzysztof Gogolewski | 2022-05-02 | 1 | -40/+0 |
* | Remove obsolete code in CoreToStg | Krzysztof Gogolewski | 2022-05-02 | 1 | -1/+0 |
* | Convert More Diagnostics (#20116) | Ben Gamari | 2022-04-30 | 1 | -1/+1 |
* | Fix unification of ConcreteTvs, removing IsRefl# | sheaf | 2022-04-28 | 1 | -1/+0 |
* | testsuite: Lint RTS #includeswip/lint-rts-includes | Ben Gamari | 2022-04-06 | 3 | -1/+99 |
* | Remove leftover trace in testsuite | Matthew Pickering | 2022-03-07 | 1 | -1/+0 |
* | Make Constraint not *apart* from Type. | Richard Eisenberg | 2022-03-02 | 1 | -1/+0 |
* | Introduce ConcreteTv metavariables | sheaf | 2022-03-02 | 1 | -1/+0 |
* | testsuite: Require LLVM for T15155l | Peter Trommler | 2022-02-26 | 1 | -0/+0 |
* | Move linters into the tree | Matthew Pickering | 2022-02-24 | 10 | -30/+388 |
* | Kill derived constraints | Richard Eisenberg | 2022-02-23 | 1 | -1/+0 |
* | Fix some notes | Matthew Pickering | 2022-02-08 | 1 | -91/+20 |
* | Add notes linter to testsuite | Matthew Pickering | 2022-02-08 | 3 | -0/+254 |
* | testsuite: Run testsuite dependency calculation before GHC is built | Matthew Pickering | 2022-02-04 | 3 | -0/+54 |