| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Break up TyCoRep | Ben Gamari | 2019-07-31 | 1 | -0/+1 |
| * | Make equality constraints in kinds invisible | Ryan Scott | 2019-05-03 | 1 | -2/+8 |
| * | Update Trac ticket URLs to point to GitLab | Ryan Scott | 2019-03-15 | 1 | -4/+4 |
| * | Add AnonArgFlag to FunTy | Simon Peyton Jones | 2019-02-23 | 1 | -4/+3 |
| * | Overhaul -fprint-explicit-kinds to use VKA | Ryan Scott | 2018-11-22 | 1 | -4/+3 |
| * | Smarter HsType pretty-print for promoted datacons | Simon Peyton Jones | 2018-11-15 | 1 | -4/+4 |
| * | Coercion Quantification | ningning | 2018-09-15 | 1 | -17/+26 |
| * | Turn infinite loop into a panic | Simon Peyton Jones | 2018-08-22 | 1 | -3/+12 |
| * | Replace most occurences of foldl with foldl'. | klebinger.andreas@gmx.at | 2018-08-21 | 1 | -1/+1 |
| * | Fix a nasty bug in piResultTys | Simon Peyton Jones | 2018-07-24 | 1 | -4/+4 |
| * | Use IfaceAppArgs to store an IfaceAppTy's arguments | Ryan Scott | 2018-07-11 | 1 | -13/+24 |
| * | Refactor coercion rule | ningning | 2018-07-09 | 1 | -2/+5 |
| * | More misc comments | Simon Peyton Jones | 2018-06-25 | 1 | -6/+9 |
| * | Caching coercion roles in NthCo and coercionKindsRole refactoring | Tobias Dammers | 2018-04-20 | 1 | -1/+1 |
| * | Track type variable scope more carefully. | Richard Eisenberg | 2018-03-31 | 1 | -5/+12 |
| * | Get evaluated-ness right in the back end | Simon Peyton Jones | 2018-01-03 | 1 | -2/+9 |
| * | Refactor coercion holes | Simon Peyton Jones | 2017-12-21 | 1 | -2/+3 |
| * | Tidy up IfaceEqualityTyCon | Simon Peyton Jones | 2017-10-31 | 1 | -14/+4 |
| * | Fix #14390 by making toIfaceTyCon aware of equality | Ryan Scott | 2017-10-29 | 1 | -0/+6 |
| * | compiler: introduce custom "GhcPrelude" Prelude | Herbert Valerio Riedel | 2017-09-19 | 1 | -0/+2 |
| * | Remove old coercion pretty-printer | Richard Eisenberg | 2017-07-27 | 1 | -2/+2 |
| * | Preserve CoVar uniques during pretty printing | Richard Eisenberg | 2017-07-27 | 1 | -3/+5 |
| * | Typos in comments | Ryan Scott | 2017-06-29 | 1 | -1/+1 |
| * | Improve pretty-printing of types | Simon Peyton Jones | 2017-02-28 | 1 | -63/+84 |
| * | Generalize kind of the (->) tycon | Ben Gamari | 2017-02-18 | 1 | -2/+4 |
| * | Join points | Luke Maurer | 2017-02-01 | 1 | -0/+5 |
| * | Update levity polymorphism | Richard Eisenberg | 2017-01-19 | 1 | -1/+5 |
| * | Comments only (related to #12789) | Simon Peyton Jones | 2016-11-28 | 1 | -0/+71 |
| * | Improve pretty-printing of types | Simon Peyton Jones | 2016-11-25 | 1 | -10/+10 |
| * | Another major constraint-solver refactoring | Simon Peyton Jones | 2016-11-25 | 1 | -0/+2 |
| * | Kill Type pretty-printer | Ben Gamari | 2016-11-13 | 1 | -0/+497 |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |