| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Compare FunTys as if they were TyConApps. | Richard Eisenberg | 2021-09-29 | 1 | -12/+40 |
| * | Add rewriting to typechecking plugins | sheaf | 2021-08-13 | 1 | -40/+101 |
| * | Use Reductions to keep track of rewritings | sheaf | 2021-08-04 | 1 | -208/+195 |
| * | Rip GHC.Tc.Solver.Monad asunder (only) | Richard Eisenberg | 2021-05-29 | 1 | -1/+2 |
| * | Remove useless {-# LANGUAGE CPP #-} pragmas | Sylvain Henry | 2021-05-12 | 1 | -1/+1 |
| * | Fully remove HsVersions.h | Sylvain Henry | 2021-05-12 | 1 | -2/+0 |
| * | Replace CPP assertions with Haskell functions | Sylvain Henry | 2021-05-12 | 1 | -4/+5 |
| * | 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 |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |