Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | A collection of type-inference refactorings. | Simon Peyton Jones | 2016-10-21 | 1 | -2/+2 |
* | Refactor the typechecker to use ExpTypes. | Richard Eisenberg | 2016-01-27 | 1 | -2/+2 |
* | Maintain cost-centre stacks in the interpreter | Simon Marlow | 2015-12-21 | 1 | -4/+2 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -3/+3 |
* | Move tests from tests/ghc-regress/* to just tests/* | David Terei | 2011-07-20 | 1 | -0/+10 |