Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Refactoring only | Simon Peyton Jones | 2015-12-24 | 1 | -39/+53 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -123/+388 |
* | Comments only | Simon Peyton Jones | 2015-12-09 | 1 | -5/+4 |
* | Fix egregious error in eta-reduction of data families | Simon Peyton Jones | 2015-12-04 | 1 | -10/+50 |
* | Refactor BranchLists. | Richard Eisenberg | 2015-09-21 | 1 | -19/+15 |
* | Code movement | Jan Stolarek | 2015-09-12 | 1 | -71/+1 |
* | Injective type families | Jan Stolarek | 2015-09-03 | 1 | -36/+299 |
* | Fix #10713. | Richard Eisenberg | 2015-08-04 | 1 | -1/+3 |
* | Typo in comment | Gabor Greif | 2015-08-02 | 1 | -1/+1 |
* | Typos in comments | Gabor Greif | 2015-08-01 | 1 | -1/+1 |
* | Allow recursive unwrapping of data families | Simon Peyton Jones | 2015-06-26 | 1 | -9/+8 |
* | Use a Representaional coercion for data families | Simon Peyton Jones | 2015-06-26 | 1 | -3/+8 |
* | Spelling in comments | Gabor Greif | 2015-06-19 | 1 | -1/+1 |
* | Fix #10488 by unwrapping type synonyms. | Richard Eisenberg | 2015-06-05 | 1 | -1/+3 |
* | Permit empty closed type families | Adam Gundry | 2015-05-04 | 1 | -1/+1 |
* | Comments only | Simon Peyton Jones | 2015-03-04 | 1 | -11/+14 |
* | Don't use deriveUnique *twice* in flattenTys. | Richard Eisenberg | 2015-03-03 | 1 | -4/+23 |
* | Improve comments on coreView/tcView, and combine coreExpandTyCon/tcExpandTyCon | Simon Peyton Jones | 2015-03-02 | 1 | -1/+1 |
* | Fix GHCi/GHC-API tidying and modules (Trac #9424, #9426) | Simon Peyton Jones | 2014-12-17 | 1 | -5/+5 |
* | reduceTyFamApp_maybe should *not* normalise arguments first. | Richard Eisenberg | 2014-12-13 | 1 | -24/+21 |
* | Rewrite `Coercible` solver | Richard Eisenberg | 2014-12-12 | 1 | -44/+27 |
* | unlit compiler/types/ modules | Herbert Valerio Riedel | 2014-12-01 | 1 | -0/+1090 |