Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Handle records in the renamer | sheaf | 2023-03-29 | 1 | -23/+18 |
* | Refactor the constraint solver pipelinewip/T23070 | Simon Peyton Jones | 2023-03-22 | 1 | -48/+46 |
* | 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 |
* | Make Constraint not *apart* from Type. | Richard Eisenberg | 2022-03-02 | 1 | -1/+0 |
* | Introduce ConcreteTv metavariables | sheaf | 2022-03-02 | 1 | -1/+0 |
* | Move linters into the tree | Matthew Pickering | 2022-02-24 | 1 | -24/+24 |
* | 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 | 1 | -0/+227 |