Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Simple subsumptionwip/T17775 | Simon Peyton Jones | 2020-06-05 | 2 | -10/+10 |
* | Visible kind application | mynguyen | 2019-01-03 | 2 | -17/+31 |
* | Fix nasty bug in the type free-var finder, at last | Simon Peyton Jones | 2018-10-26 | 1 | -4/+4 |
* | Fix #15415 and simplify tcWildCardBinders | Vladislav Zavialov | 2018-08-01 | 5 | -0/+52 |
* | Two kind-polymorphism fixes (Trac #10122) | Simon Peyton Jones | 2015-03-02 | 1 | -1/+1 |
* | Fix panic on :kind _ in GHCi (Trac #9879) | Thomas Winant | 2014-12-23 | 4 | -0/+9 |