Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Clean up haddock hyperlinks of GHC.* (part1) | Takenobu Tani | 2020-06-25 | 1 | -3/+3 |
* | Two small tweaks to Coercion.simplifyArgsWorker | Simon Peyton Jones | 2020-06-23 | 1 | -1/+5 |
* | Various performance improvements | Krzysztof Gogolewski | 2020-06-17 | 1 | -3/+3 |
* | Linear types (#15981) | Krzysztof Gogolewski | 2020-06-17 | 1 | -40/+52 |
* | Implement cast worker/wrapper properly | Simon Peyton Jones | 2020-06-10 | 1 | -2/+2 |
* | Simple subsumptionwip/T17775 | Simon Peyton Jones | 2020-06-05 | 1 | -0/+1 |
* | Explicit Specificity | Gert-Jan Bottu | 2020-05-21 | 1 | -1/+1 |
* | Document (->) using inferred quantification for its runtime representations. | Baldur Blöndal | 2020-05-13 | 1 | -1/+3 |
* | Modules: Utils and Data (#13009) | Sylvain Henry | 2020-04-26 | 1 | -6/+6 |
* | Modules (#13009) | Sylvain Henry | 2020-04-18 | 1 | -2/+2 |
* | GHC.Core.Opt renaming | Sylvain Henry | 2020-04-18 | 1 | -1/+1 |
* | Modules: type-checker (#13009) | Sylvain Henry | 2020-04-07 | 1 | -4/+4 |
* | Clean up "Eta reduction for data families" Notes | Ryan Scott | 2020-04-01 | 1 | -1/+1 |
* | Modules: Types (#13009) | Sylvain Henry | 2020-03-29 | 1 | -8/+8 |
* | Update core spec to reflect changes to Core. | Richard Eisenberg | 2020-03-20 | 1 | -2/+2 |
* | Simplify treatment of heterogeneous equality | Richard Eisenberg | 2020-03-20 | 1 | -2/+43 |
* | Modules: Core operations (#13009) | Sylvain Henry | 2020-03-18 | 1 | -1/+1 |
* | Modules: Core (#13009) | Sylvain Henry | 2020-03-16 | 1 | -0/+2906 |