Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Improve error messages around kind mismatches. | Richard Eisenberg | 2017-07-27 | 1 | -7/+7 |
* | A collection of type-inference refactorings. | Simon Peyton Jones | 2016-10-21 | 1 | -4/+4 |
* | Simplify: Make generated names more useful | Ben Gamari | 2016-03-12 | 1 | -7/+7 |
* | Refactor the typechecker to use ExpTypes. | Richard Eisenberg | 2016-01-27 | 1 | -4/+4 |
* | Maintain cost-centre stacks in the interpreter | Simon Marlow | 2015-12-21 | 1 | -3/+1 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -5/+5 |
* | Generate Typeable info at definition sites | Ben Gamari | 2015-10-30 | 1 | -8/+8 |
* | Revert "Generate Typeable info at definition sites" | Ben Gamari | 2015-10-29 | 1 | -8/+8 |
* | Generate Typeable info at definition sites | Ben Gamari | 2015-10-29 | 1 | -8/+8 |
* | Error message wibbles | Simon Peyton Jones | 2013-11-28 | 1 | -1/+1 |
* | Move tests from tests/ghc-regress/* to just tests/* | David Terei | 2011-07-20 | 1 | -0/+16 |