Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Misc cleanup | Krzysztof Gogolewski | 2023-01-05 | 1 | -2/+0 |
* | Fix binder-swap bug | Simon Peyton Jones | 2022-10-25 | 1 | -1/+0 |
* | Fix typos | Krzysztof Gogolewski | 2022-09-14 | 1 | -0/+1 |
* | Fix typos | Eric Lindblad | 2022-09-14 | 1 | -33/+33 |
* | Drop make build system | Ben Gamari | 2022-08-25 | 1 | -2/+0 |
* | Cleanups around pretty-printing | Krzysztof Gogolewski | 2022-08-09 | 1 | -1/+0 |
* | Refactored Simplify pass | Dominik Peteler | 2022-07-22 | 1 | -3/+3 |
* | TTG: Rework and improve splices | romes | 2022-06-01 | 1 | -37/+45 |
* | 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 |