Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Clarify commentary around the constraint solver | Richard Eisenberg | 2021-04-10 | 1 | -0/+3 |
* | Rewrite.split: Fix reboxing | Ben Gamari | 2021-02-27 | 1 | -2/+5 |
* | GHC.Tc.Solver.Rewrite: oneShot-ify | Ben Gamari | 2021-02-27 | 1 | -7/+14 |
* | Never Anyify during kind inference | Richard Eisenberg | 2021-01-09 | 1 | -1/+1 |
* | Quick Look: zonk result type | Simon Peyton Jones | 2020-12-19 | 1 | -0/+5 |
* | Rename the flattener to become the rewriter. | Richard Eisenberg | 2020-12-01 | 1 | -0/+1028 |