Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | A collection of type-inference refactorings. | Simon Peyton Jones | 2016-10-21 | 1 | -1/+1 |
* | Print foralls in user format | Simon Peyton Jones | 2016-09-26 | 1 | -1/+1 |
* | Kill varSetElemsWellScoped in quantifyTyVars | Bartosz Nitka | 2016-04-26 | 1 | -1/+1 |
* | Fix misattribution of `-Wunused-local-binds` warnings | Herbert Valerio Riedel | 2016-04-05 | 1 | -2/+2 |
* | Print which warning-flag controls an emitted warning | Michael Walker | 2016-02-25 | 1 | -4/+6 |
* | Refactor the typechecker to use ExpTypes. | Richard Eisenberg | 2016-01-27 | 1 | -4/+4 |
* | Visible type application | Richard Eisenberg | 2015-12-24 | 1 | -4/+4 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -1/+1 |
* | Testsuite: rename *.stderr-ghc to *.stderr | Thomas Miedema | 2015-07-14 | 1 | -0/+13 |