| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Stop inferring over-polymorphic kindswip/over-poly-kinds | Simon Peyton Jones | 2019-03-08 | 1 | -0/+2 |
| * | Fix #16391 by using occCheckExpand in TcValidity | Ryan Scott | 2019-03-07 | 1 | -0/+1 |
| * | Visible dependent quantification | Ryan Scott | 2019-03-01 | 1 | -0/+2 |
| * | Treat kind/type variables identically, demolish FKTV | Vladislav Zavialov | 2019-02-27 | 1 | -1/+0 |
| * | Fix #14729 by making the normaliser homogeneous | Richard Eisenberg | 2019-02-08 | 1 | -0/+2 |
| * | testsuite: Use makefile_test | Ben Gamari | 2019-01-30 | 1 | -2/+1 |
| * | Revert "Batch merge" | Ben Gamari | 2019-01-30 | 1 | -1/+2 |
| * | Batch merge | Ben Gamari | 2019-01-30 | 1 | -2/+1 |
| * | Add a test case for #15829 | Ryan Scott | 2018-10-29 | 1 | -0/+1 |
| * | Test #15076 in dependent/should_compile/T15076* | Richard Eisenberg | 2018-10-29 | 1 | -0/+3 |
| * | Finish fix for #14880. | Tobias Dammers | 2018-10-28 | 1 | -0/+5 |
| * | Fix #15725 with an extra Sym | Ryan Scott | 2018-10-15 | 1 | -0/+1 |
| * | Add regression test for #15666 | Ryan Scott | 2018-09-25 | 1 | -0/+1 |
| * | Remove decideKindGeneralisationPlan | Richard Eisenberg | 2018-08-02 | 1 | -0/+1 |
| * | Fix some casts. | Richard Eisenberg | 2018-07-23 | 1 | -0/+2 |
| * | Provide a better error message for unpromotable data constructor contexts | Ryan Scott | 2018-06-17 | 1 | -1/+2 |
| * | Warn about implicit kind variables with -Wcompat | Vladislav Zavialov | 2018-06-16 | 1 | -0/+1 |
| * | Embrace -XTypeInType, add -XStarIsType | Vladislav Zavialov | 2018-06-14 | 1 | -0/+1 |
| * | Remove ad-hoc special case in occAnal | Simon Peyton Jones | 2018-06-07 | 1 | -1/+1 |
| * | Another batch of './validation --slow' tweaks | Alp Mestanogullari | 2018-05-20 | 1 | -1/+10 |
| * | Fix another batch of `./validate --slow` failures | Alp Mestanogullari | 2018-05-13 | 1 | -1/+8 |
| * | testsuite: Fix `./validate --slow` | Alp Mestanogullari | 2018-04-19 | 1 | -4/+1 |
| * | Fix #14991. | Richard Eisenberg | 2018-04-02 | 1 | -0/+1 |
| * | Track type variable scope more carefully. | Richard Eisenberg | 2018-03-31 | 1 | -0/+2 |
| * | Fix the test for #13938 | Ryan Scott | 2018-03-27 | 1 | -1/+2 |
| * | Fix #12919 by making the flattener homegeneous. | Richard Eisenberg | 2018-03-26 | 1 | -3/+5 |
| * | Test #13938, with expect_broken | Richard Eisenberg | 2017-09-14 | 1 | -0/+1 |
| * | Make rejigConRes do kind substitutions | Richard Eisenberg | 2017-09-14 | 1 | -0/+1 |
| * | Regression test for #12742 | Richard Eisenberg | 2017-09-14 | 1 | -0/+1 |
| * | Test #14038 in dependent/should_compile/T14038 | Richard Eisenberg | 2017-09-14 | 1 | -0/+1 |
| * | Fix #12176 by being a bit more careful instantiating. | Richard Eisenberg | 2017-07-27 | 1 | -0/+1 |
| * | Add regression test for #11966 | Ryan Scott | 2017-05-12 | 1 | -0/+1 |
| * | Add regression test for #13538 | Ryan Scott | 2017-04-06 | 1 | -0/+1 |
| * | Fix #12442. | Richard Eisenberg | 2016-09-23 | 1 | -0/+1 |
| * | Fix #11635 / #11719. | Richard Eisenberg | 2016-03-21 | 1 | -0/+2 |
| * | Fix #11716. | Richard Eisenberg | 2016-03-17 | 1 | -0/+1 |
| * | Fix #11711. | Richard Eisenberg | 2016-03-17 | 1 | -0/+1 |
| * | Fix #11241. | Richard Eisenberg | 2016-02-17 | 1 | -1/+1 |
| * | Mark dynamic-paper as expect_fail_for optasm and optllvm (#11330) | Thomas Miedema | 2016-01-29 | 1 | -1/+4 |
| * | Fix #11405. | Richard Eisenberg | 2016-01-15 | 1 | -1/+1 |
| * | Constrained types have kind * in validity check. | Richard Eisenberg | 2016-01-15 | 1 | -0/+2 |
| * | Fix #11311 | Richard Eisenberg | 2016-01-15 | 1 | -0/+1 |
| * | Have mkCastTy look more closely for reflexivity. | Richard Eisenberg | 2015-12-26 | 1 | -0/+1 |
| * | Test #9632 in dependent/should_compile/T9632 | Richard Eisenberg | 2015-12-14 | 1 | -0/+1 |
| * | Test case for #7961. | Richard Eisenberg | 2015-12-11 | 1 | -0/+1 |
| * | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -0/+10 |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |