summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Solver/Rewrite.hs
Commit message (Expand)AuthorAgeFilesLines
* Clarify commentary around the constraint solverRichard Eisenberg2021-04-101-0/+3
* Rewrite.split: Fix reboxingBen Gamari2021-02-271-2/+5
* GHC.Tc.Solver.Rewrite: oneShot-ifyBen Gamari2021-02-271-7/+14
* Never Anyify during kind inferenceRichard Eisenberg2021-01-091-1/+1
* Quick Look: zonk result typeSimon Peyton Jones2020-12-191-0/+5
* Rename the flattener to become the rewriter.Richard Eisenberg2020-12-011-0/+1028