Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -6/+5 |
* | Entirely re-jig the handling of default type-family instances (fixes Trac #9063) | Simon Peyton Jones | 2014-07-15 | 1 | -5/+6 |
* | Use U+2018 instead of U+201B quote mark in compiler messages | Herbert Valerio Riedel | 2014-02-25 | 1 | -2/+2 |
* | Updates to support closed type families. | Richard Eisenberg | 2013-06-21 | 1 | -1/+1 |
* | Update outputs following the unicode quote change in GHC's output | Ian Lynagh | 2013-02-24 | 1 | -2/+2 |
* | Implement overlapping type family instances. | Richard Eisenberg | 2012-12-21 | 1 | -5/+5 |
* | Error message wibbles following TyClDecl/HsTyDefn refactoring | Simon Peyton Jones | 2012-03-26 | 1 | -5/+5 |
* | New kind-polymorphic core | Jose Pedro Magalhaes | 2011-11-11 | 1 | -2/+1 |
* | Update test output following change to associated type synonym default kind-c... | Max Bolingbroke | 2011-09-26 | 1 | -2/+3 |
* | Test associated type defaults | Max Bolingbroke | 2011-09-09 | 1 | -0/+5 |