| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fix unification of ConcreteTvs, removing IsRefl# | sheaf | 2022-04-28 | 1 | -38/+0 |
| * | Introduce ConcreteTv metavariables | sheaf | 2022-03-02 | 1 | -28/+19 |
| * | Kill derived constraints | Richard Eisenberg | 2022-02-23 | 1 | -2/+14 |
| * | Introduce Concrete# for representation polymorphism checks | sheaf | 2021-10-17 | 1 | -1/+60 |
| * | Eta expand through CallStacks | Simon Peyton Jones | 2021-07-27 | 1 | -0/+35 |
| * | Name (tc)SplitForAll- functions more consistently | Ryan Scott | 2020-11-15 | 1 | -1/+1 |
| * | Add TyCon Set/Env and use them in a few places. | Andreas Klebinger | 2020-10-09 | 1 | -0/+1 |
| * | Care with implicit-parameter superclasses | Simon Peyton Jones | 2020-09-15 | 1 | -27/+124 |
| * | DynFlags: disentangle Outputable | Sylvain Henry | 2020-08-12 | 1 | -1/+2 |
| * | Linear types (#15981) | Krzysztof Gogolewski | 2020-06-17 | 1 | -1/+2 |
| * | Modules: Utils and Data (#13009) | Sylvain Henry | 2020-04-26 | 1 | -4/+4 |
| * | Modules (#13009) | Sylvain Henry | 2020-04-18 | 1 | -1/+1 |
| * | Modules: type-checker (#13009) | Sylvain Henry | 2020-04-07 | 1 | -3/+3 |
| * | Modules: Types (#13009) | Sylvain Henry | 2020-03-29 | 1 | -1/+1 |
| * | Modules: Core (#13009) | Sylvain Henry | 2020-03-16 | 1 | -0/+228 |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |