| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Improve error reporting in generated code | Simon Peyton Jones | 2022-05-04 | 2 | -3/+4 |
| * | Change GHC.Prim to GHC.Exts in docs and tests | Krzysztof Gogolewski | 2022-04-01 | 3 | -3/+2 |
| * | Kill derived constraints | Richard Eisenberg | 2022-02-23 | 6 | -10/+198 |
| * | Make implication tidying agree with Note [Tidying multiple names at once] | Matthew Pickering | 2022-02-05 | 1 | -3/+3 |
| * | Rework the handling of SkolemInfo | Matthew Pickering | 2022-01-29 | 8 | -8/+8 |
| * | Use diagnostic infrastructure in GHC.Tc.Errors | sheaf | 2022-01-17 | 1 | -2/+3 |
| * | Fix typos | Krzysztof Gogolewski | 2021-12-25 | 1 | -1/+1 |
| * | Pmc: Don't case split on wildcard matches (#20642) | Sebastian Graf | 2021-11-17 | 1 | -5/+1 |
| * | Increase type sharing | Ben Gamari | 2021-11-17 | 1 | -2/+2 |
| * | Introduce Concrete# for representation polymorphism checks | sheaf | 2021-10-17 | 3 | -34/+0 |
| * | Convert diagnostics in GHC.Tc.Validity to proper TcRnMessage. | hainq | 2021-09-01 | 1 | -1/+1 |
| * | Refactor SuggestExtension constructor in GhcHint | Alfredo Di Napoli | 2021-07-21 | 1 | -2/+3 |
| * | Reword: representation instead of levity | sheaf | 2021-06-10 | 1 | -1/+1 |
| * | Fix #19682 by breaking cycles in Deriveds | Richard Eisenberg | 2021-06-05 | 1 | -5/+7 |
| * | Remove transitive information about modules and packages from interface files | Matthew Pickering | 2021-05-19 | 3 | -3/+3 |
| * | The result kind of a signature can't mention quantified vars | Simon Peyton Jones | 2021-03-31 | 3 | -3/+25 |
| * | Use GHC2021 as default language | Joachim Breitner | 2021-03-10 | 25 | -9/+28 |
| * | Implement BoxedRep proposalwip/boxed-rep | Ben Gamari | 2021-03-07 | 2 | -7/+15 |
| * | Reduce inlining in deeply-nested cases | Simon Peyton Jones | 2021-02-09 | 2 | -19/+8 |
| * | Fix tests relying on same-line diagnostic ordering | Alfredo Di Napoli | 2021-01-22 | 1 | -4/+5 |
| * | Never Anyify during kind inference | Richard Eisenberg | 2021-01-09 | 1 | -1/+1 |
| * | Improve inference with linear types | Krzysztof Gogolewski | 2020-12-20 | 1 | -1/+1 |
| * | Revert "Implement BoxedRep proposal" | Ben Gamari | 2020-12-15 | 2 | -15/+7 |
| * | Implement BoxedRep proposal | Andrew Martin | 2020-12-14 | 2 | -7/+15 |
| * | Fix kind inference for data types. Again. | Simon Peyton Jones | 2020-12-08 | 1 | -1/+1 |
| * | [Sized Cmm] properly retain sizes. | Moritz Angermann | 2020-11-26 | 3 | -3/+3 |
| * | PmCheck: Print types of uncovered patterns (#18932) | Sebastian Graf | 2020-11-18 | 1 | -1/+1 |
| * | Replace HsImplicitBndrs with HsOuterTyVarBndrs | Ryan Scott | 2020-11-06 | 3 | -6/+5 |
| * | Version bump: base-4.16 (#18712) | Vladislav Zavialov | 2020-10-27 | 3 | -5/+7 |
| * | Improve kind generalisation, error messages | Simon Peyton Jones | 2020-09-24 | 10 | -19/+46 |
| * | Implement Quick Look impredicativity | Simon Peyton Jones | 2020-09-24 | 3 | -8/+9 |
| * | Remove GADT self-reference check (#11554, #12081, #12174, fixes #15942) | Artyom Kuznetsov | 2020-09-19 | 5 | -10/+2 |
| * | Make the forall-or-nothing rule only apply to invisible foralls (#18660) | Ryan Scott | 2020-09-08 | 2 | -0/+8 |
| * | Reduce result discount in conSize | Simon Peyton Jones | 2020-07-13 | 1 | -1/+1 |
| * | Bump ghc-prim version to 0.7.0 | Ryan Scott | 2020-07-02 | 3 | -3/+3 |
| * | Reject nested foralls/contexts in instance types more consistently | Ryan Scott | 2020-06-30 | 4 | -4/+16 |
| * | Update testsuite | Sylvain Henry | 2020-06-17 | 3 | -6/+3 |
| * | Linear types (#15981) | Krzysztof Gogolewski | 2020-06-17 | 1 | -1/+1 |
| * | base: Bump to 4.15.0.0 | Ben Gamari | 2020-06-17 | 3 | -6/+6 |
| * | Make GADT constructors adhere to the forall-or-nothing rule properly | Ryan Scott | 2020-06-09 | 1 | -6/+4 |
| * | Simplify bindLHsTyVarBndrs and bindHsQTyVarswip/simply-bind-tyvars | Ryan Scott | 2020-06-05 | 1 | -1/+1 |
| * | Simple subsumptionwip/T17775 | Simon Peyton Jones | 2020-06-05 | 12 | -16/+36 |
| * | Revert "Specify kind variables for inferred kinds in base." | Ben Gamari | 2020-05-25 | 1 | -2/+2 |
| * | Specify kind variables for inferred kinds in base. | Baldur Blöndal | 2020-05-08 | 1 | -2/+2 |
| * | Flatten nested casts in the simple optimizer | Alexis King | 2020-05-03 | 1 | -1/+1 |
| * | Modules: type-checker (#13009) | Sylvain Henry | 2020-04-07 | 2 | -2/+2 |
| * | simplifier: Kill off ufKeenessFactor | Ben Gamari | 2020-04-07 | 1 | -1/+1 |
| * | Re-engineer the binder-swap transformation | Simon Peyton Jones | 2020-04-02 | 1 | -2/+2 |
| * | Simplify treatment of heterogeneous equality | Richard Eisenberg | 2020-03-20 | 3 | -16/+6 |
| * | Always display inferred variables using braces | Krzysztof Gogolewski | 2020-02-12 | 8 | -8/+8 |
