Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Note [The equality types story] in TysPrim | Richard Eisenberg | 2015-12-16 | 1 | -0/+1 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -4/+16 |
* | Refactor default methods (Trac #11105) | Simon Peyton Jones | 2015-11-25 | 1 | -16/+19 |
* | Fix inconsistent pretty-printing of type families | Michał Sośnicki | 2015-11-18 | 1 | -1/+1 |
* | Perform a validity check on assoc type defaults. | Richard Eisenberg | 2015-09-21 | 1 | -1/+5 |
* | Don't report instance constraints with fundeps as redundant | Simon Peyton Jones | 2015-02-20 | 1 | -1/+4 |
* | API Annotations documentation update, parsing issue, add example test | Alan Zimmerman | 2015-01-19 | 1 | -0/+2 |
* | API Annotations tweaks. | Alan Zimmerman | 2015-01-16 | 1 | -2/+8 |
* | unlit compiler/types/ modules | Herbert Valerio Riedel | 2014-12-01 | 1 | -0/+287 |