| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Fix an levity-polymorphism error | Simon Peyton Jones | 2021-03-20 | 2 | -0/+12 |
| * | GHC Exactprint main commit | Alan Zimmerman | 2021-03-20 | 1 | -1/+1 |
| * | Use GHC2021 as default language | Joachim Breitner | 2021-03-10 | 48 | -44/+75 |
| * | Implement BoxedRep proposalwip/boxed-rep | Ben Gamari | 2021-03-07 | 4 | -6/+4 |
| * | Zonk the returned kind in tcFamTyPats | Simon Peyton Jones | 2021-01-30 | 2 | -0/+13 |
| * | Remove some redundant validity checks. | Richard Eisenberg | 2021-01-27 | 3 | -5/+7 |
| * | Add instances for GHC.Tuple.Solo | Ben Gamari | 2021-01-27 | 1 | -1/+1 |
| * | Never Anyify during kind inference | Richard Eisenberg | 2021-01-09 | 3 | -1/+30 |
| * | Clone the binders of a SAKS where necessary | Simon Peyton Jones | 2020-12-24 | 4 | -0/+80 |
| * | Reject dodgy scoping in associated family instance RHSes | Ryan Scott | 2020-12-17 | 2 | -1/+5 |
| * | Revert "Implement BoxedRep proposal" | Ben Gamari | 2020-12-15 | 4 | -4/+6 |
| * | Implement BoxedRep proposal | Andrew Martin | 2020-12-14 | 4 | -6/+4 |
| * | Fix kind inference for data types. Again. | Simon Peyton Jones | 2020-12-08 | 2 | -6/+6 |
| * | Remove flattening variables | Richard Eisenberg | 2020-12-01 | 1 | -5/+3 |
| * | [Sized Cmm] properly retain sizes. | Moritz Angermann | 2020-11-26 | 2 | -2/+2 |
| * | Replace HsImplicitBndrs with HsOuterTyVarBndrs | Ryan Scott | 2020-11-06 | 16 | -13/+82 |
| * | Fix two constraint solving problems | Simon Peyton Jones | 2020-10-27 | 2 | -0/+19 |
| * | Version bump: base-4.16 (#18712) | Vladislav Zavialov | 2020-10-27 | 2 | -2/+2 |
| * | Extend mAX_TUPLE_SIZE to 64 | GHC GitLab CI | 2020-10-15 | 2 | -11/+13 |
| * | Improve kind generalisation, error messages | Simon Peyton Jones | 2020-09-24 | 19 | -52/+93 |
| * | Implement Quick Look impredicativity | Simon Peyton Jones | 2020-09-24 | 1 | -3/+3 |
| * | Remove GADT self-reference check (#11554, #12081, #12174, fixes #15942) | Artyom Kuznetsov | 2020-09-19 | 3 | -12/+12 |
| * | Fix visible forall in ppr_ty (#18522) | Vladislav Zavialov | 2020-08-06 | 3 | -0/+6 |
| * | Care with occCheckExpand in kind of occurrences | Simon Peyton Jones | 2020-07-24 | 7 | -0/+58 |
| * | Improve handling of data type return kindswip/T18300 | Simon Peyton Jones | 2020-07-03 | 3 | -0/+21 |
| * | Bump ghc-prim version to 0.7.0 | Ryan Scott | 2020-07-02 | 2 | -2/+2 |
| * | Update testsuite | Sylvain Henry | 2020-06-17 | 2 | -4/+2 |
| * | Linear types (#15981) | Krzysztof Gogolewski | 2020-06-17 | 1 | -1/+1 |
| * | base: Bump to 4.15.0.0 | Ben Gamari | 2020-06-17 | 2 | -4/+4 |
| * | Always use rnImplicitBndrs to bring implicit tyvars into scope | Ryan Scott | 2020-06-10 | 4 | -5/+5 |
| * | Simple subsumptionwip/T17775 | Simon Peyton Jones | 2020-06-05 | 31 | -143/+121 |
| * | Explicit Specificity | Gert-Jan Bottu | 2020-05-21 | 1 | -1/+1 |
| * | Add regression tests for #16244, #16245, #16758 | Ryan Scott | 2020-05-05 | 5 | -0/+46 |
| * | GHC.Core.Opt renaming | Sylvain Henry | 2020-04-18 | 1 | -1/+1 |
| * | Modules: type-checker (#13009) | Sylvain Henry | 2020-04-07 | 2 | -2/+2 |
| * | Add regression test for #17963 | Ryan Scott | 2020-03-31 | 3 | -0/+29 |
| * | Simplify treatment of heterogeneous equality | Richard Eisenberg | 2020-03-20 | 6 | -47/+45 |
| * | Modules: Core operations (#13009) | Sylvain Henry | 2020-03-18 | 1 | -1/+1 |
| * | Fix #17021 by checking more return kinds | Richard Eisenberg | 2020-03-17 | 3 | -7/+7 |
| * | Wrap an implication around class-sig kind errors | Simon Peyton Jones | 2020-03-14 | 4 | -1/+22 |
| * | Re-implement unsafe coercions in terms of unsafe equality proofs | Simon Peyton Jones | 2020-02-20 | 1 | -1/+1 |
| * | Always display inferred variables using braces | Krzysztof Gogolewski | 2020-02-12 | 9 | -12/+16 |
| * | Fix scoping of TyCon binders in TcTyClsDecls | Simon Peyton Jones | 2020-02-01 | 2 | -4/+4 |
| * | Don't zap to Any; error instead | Richard Eisenberg | 2020-01-12 | 3 | -2/+20 |
| * | Warn on inferred polymorphic recursion | Richard Eisenberg | 2019-12-11 | 5 | -1/+7 |
| * | Pretty-printing of the * kind | Vladislav Zavialov | 2019-12-05 | 5 | -5/+5 |
| * | Strip parentheses in expressions contexts in error messages | Vladislav Zavialov | 2019-11-19 | 1 | -1/+1 |
| * | base: Bump version to 4.14.0.0 | Ben Gamari | 2019-11-14 | 2 | -2/+2 |
| * | Standalone kind signatures (#16794)wip/top-level-kind-signatures | Vladislav Zavialov | 2019-09-25 | 2 | -0/+17 |
| * | testsuite: Set -dinitial-unique when reversing uniques | Ben Gamari | 2019-07-18 | 1 | -1/+1 |
