Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Kill derived constraintswip/derived-refactor | Richard Eisenberg | 2022-02-22 | 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 |